switch new font on in Gnome Terminal after installing it
This commit is contained in:
parent
1331c38199
commit
7b622c7ec1
1 changed files with 1 additions and 0 deletions
|
@ -32,6 +32,7 @@ $DIR/gnome-terminal-colors-solarized/install.sh
|
||||||
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/font "'Inconsolata for Powerline Medium 18'"
|
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/font "'Inconsolata for Powerline Medium 18'"
|
||||||
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/login-shell true
|
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/login-shell true
|
||||||
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/audible-bell false
|
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/audible-bell false
|
||||||
|
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/use-system-font false
|
||||||
|
|
||||||
echo
|
echo
|
||||||
echo "now go ahead and restart Gnome session"
|
echo "now go ahead and restart Gnome session"
|
||||||
|
|
Loading…
Reference in a new issue