Merge branch 'master' of ssh://gitlab.tlcnet.info:227/tracey/shell-scripts

gnome-config.sh

@@ -0,0 +1,29 @@
+#!/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 if its running - manually with  alt+f2, type restart and press return (not in budgie)
+if pgrep -x "gedit" > /dev/null
+then
+    echo "Restarting Gnome shell"
+    gnome-shell --replace
+else
+    echo "Gnome shell is not running so not restarting it"
+fi
+
+# If budgie is running restart budgie
+if pgrep -x "gedit" > /dev/null
+then
+    echo "Restarting Budgie window manager"
+    budgie-wm --replace
+else
+    echo "Budgie window manager is not running so not restarting it"
+fi

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;
+}

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
+mv ~/.local/share/gnome-shell/extensions ~/.local/share/gnome-shell/extensions-bkup
+mkdir -p ~/.local/share/gnome-shell/extensions