Gnome Terminal Settings

gnome-terminal-settings.cfg

[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'

Gnome-Terminal.md

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