Skip to content

Instantly share code, notes, and snippets.

@arturfog
Created May 29, 2018 15:37
Show Gist options
  • Save arturfog/1eba27a6bfe5655eddeddb2c9ba9f797 to your computer and use it in GitHub Desktop.
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.
#!/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