From 7b622c7ec12dddb5c97ac9e2d6937669c2216527 Mon Sep 17 00:00:00 2001 From: Cyryl Plotnicki-Chudyk Date: Mon, 31 Mar 2014 13:57:24 +0200 Subject: [PATCH] switch new font on in Gnome Terminal after installing it --- install_fedora.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/install_fedora.sh b/install_fedora.sh index 3a51b5ad..ccdd28ef 100755 --- a/install_fedora.sh +++ b/install_fedora.sh @@ -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/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/use-system-font false echo echo "now go ahead and restart Gnome session"