Skip to content

Instantly share code, notes, and snippets.

@bonsi

bonsi/gnome-terminal-settings

Created November 23, 2016 16:03
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save bonsi/78b528340e9e258a0e65c87e4adfb4c1 to your computer and use it in GitHub Desktop.
Save bonsi/78b528340e9e258a0e65c87e4adfb4c1 to your computer and use it in GitHub Desktop.
Download ZIP
gnome-terminal settings (Ubuntu 16.04.1 LTS)
Raw
gnome-terminal-settings
[/]
new-terminal-mode='tab'
schema-version=uint32 3
[keybindings]
switch-to-tab-1='disabled'
switch-to-tab-2='disabled'
switch-to-tab-3='disabled'
new-tab='<Primary>t'
switch-to-tab-4='disabled'
prev-tab='<Primary>Left'
move-tab-left='<Primary><Shift>Left'
move-tab-right='<Primary><Shift>Right'
next-tab='<Primary>Right'
[profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9]
default-size-columns=140
default-size-rows=50
palette=['rgb(7,54,66)', 'rgb(220,50,47)', 'rgb(133,153,0)', 'rgb(181,137,0)', 'rgb(38,139,210)', 'rgb(211,54,130)', 'rgb(42,161,152)', 'rgb(238,232,213)', 'rgb(0,43,54)', 'rgb(203,75,22)', 'rgb(88,110,117)', 'rgb(101,123,131)', 'rgb(131,148,150)', 'rgb(108,113,196)', 'rgb(147,161,161)', 'rgb(253,246,227)']
use-theme-transparency=false
use-system-font=false
visible-name='bonsi'
font='Source Code Pro 13'
@bonsi
Copy link
Author

bonsi commented Nov 23, 2016

Import with
dconf load '/org/gnome/terminal/legacy/' < gnome-terminal-settings

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment