Created
May 29, 2018 15:37
-
-
Save arturfog/1eba27a6bfe5655eddeddb2c9ba9f797 to your computer and use it in GitHub Desktop.
Sometimes font doesn't appear in gnome-terminal font selection panel. This allows to select any installed font as monospace font.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
gsettings set org.gnome.desktop.interface monospace-font-name 'Noto Sans Mono 15' |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment