#!/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