Added logic to restart gnome-shell or budgie-wm depending on which is running
This commit is contained in:
parent
e1b2350268
commit
e7d84333f4
1 changed files with 18 additions and 2 deletions
|
|
@ -9,5 +9,21 @@ gsettings set org.gnome.settings-daemon.plugins.xsettings overrides "{'Gtk/Butto
|
||||||
# To reduce GNOME 3 titlebar height
|
# To reduce GNOME 3 titlebar height
|
||||||
cp gtk.css ~/.config/gtk-3.0/gtk.css
|
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
|
# 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
|
||||||
Loading…
Add table
Add a link
Reference in a new issue