Move related files into subdirs
This commit is contained in:
parent
2a20f18c78
commit
f543afed65
8 changed files with 99 additions and 0 deletions
|
|
@ -1,29 +0,0 @@
|
|||
#!/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
|
||||
Loading…
Add table
Add a link
Reference in a new issue