diff --git a/gnome-config.sh b/gnome-config.sh new file mode 100644 index 0000000..401f8be --- /dev/null +++ b/gnome-config.sh @@ -0,0 +1,13 @@ +#!/bin/bash +# Set certain configuration options in gnome +# because the cult of simple design has gone too far +# Works for budgie wm on Ubuntu 17.10 as well + +# Restore menu icons +gsettings set org.gnome.settings-daemon.plugins.xsettings overrides "{'Gtk/ButtonImages': <1>, 'Gtk/MenuImages': <1>}" + +# To reduce GNOME 3 titlebar height +cp gtk.css ~/.config/gtk-3.0/gtk.css + +# Restart gnome shell - manually with alt+f2, type r and press return (not in budgie) +gnome-shell --replace \ No newline at end of file diff --git a/gtk.css b/gtk.css new file mode 100644 index 0000000..dbef915 --- /dev/null +++ b/gtk.css @@ -0,0 +1,9 @@ +.header-bar.default-decoration { + padding-top: 0px; + padding-bottom: 0px; +} + +.header-bar.default-decoration .button.titlebutton { + padding-top: 0px; + padding-bottom: 0px; +} \ No newline at end of file diff --git a/reset_gtk.sh b/reset_gtk.sh index 39c2def..aec01e7 100644 --- a/reset_gtk.sh +++ b/reset_gtk.sh @@ -20,4 +20,5 @@ for f in .gnome .gnome2 .gconf .gconfd .metacity; do mv $f ${f}.bak; done or mkd dconf reset -f /org/gnome/ # Reset Gnome Extensions -mv ~/.local/share/gnome-shell/extensions ~/.local/share/gnome-shell/extensions-bkup \ No newline at end of file +mv ~/.local/share/gnome-shell/extensions ~/.local/share/gnome-shell/extensions-bkup +mkdir -p ~/.local/share/gnome-shell/extensions \ No newline at end of file