Skip to content

Instantly share code, notes, and snippets.

@g105b
Last active January 27, 2023 10:45
Show Gist options
  • Save g105b/d4ae45aa76fe0d3e7ac353c511df4086 to your computer and use it in GitHub Desktop.
Save g105b/d4ae45aa76fe0d3e7ac353c511df4086 to your computer and use it in GitHub Desktop.
Gnome Terminal Settings
[legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9]
background-color='rgb(255,255,255)'
background-transparency-percent=6
bold-is-bright=true
cell-height-scale=1.5
cell-width-scale=1.1500000000000001
cursor-background-color='rgb(232,0,255)'
cursor-foreground-color='rgb(153,0,157)'
custom-command='zsh'
font='Ubuntu Mono 14'
foreground-color='rgb(23,20,33)'
highlight-background-color='rgb(0,0,0)'
palette=['rgb(0,0,0)', 'rgb(120,0,0)', 'rgb(0,187,0)', 'rgb(146,73,0)', 'rgb(0,0,170)', 'rgb(205,0,205)', 'rgb(0,136,191)', 'rgb(109,109,109)', 'rgb(85,85,85)', 'rgb(255,85,85)', 'rgb(0,220,0)', 'rgb(255,131,0)', 'rgb(85,85,255)', 'rgb(255,85,255)', 'rgb(0,181,255)', 'rgb(255,255,255)']
use-custom-command=true
use-theme-colors=false
use-theme-transparency=true
use-transparent-background=false
visible-name='Greg'
  1. Make a backup: dconf dump /org/gnome/terminal/ > gnome-terminal-settings.cfg
  2. Reset settings: dconf reset -f /org/gnome/terminal/
  3. Restore from backup: dconf load /org/gnome/terminal/ < gnome-terminal-settings.cfg
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment