2018-03-06 08:54:16 -06:00
|
|
|
#!/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
|
|
|
|
|
|
2018-03-06 09:25:17 -06:00
|
|
|
|
|
|
|
|
# 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
|
