ant/workstation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Go back to a more vanilla Gnome setup

Browse source
This commit is contained in:
Anthony Rose 2021-11-27 20:52:16 +00:00
parent 8b75009f3e
commit 5657365e24
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
roles/home-gui/files/gnome-setup.sh
View file

@ -64,7 +64,7 @@ set_gnome_extensions () {
fi fi
for ext in $dashtodock appindicatorsupport@rgcjonas.gmail.com for ext in $dashtodock appindicatorsupport@rgcjonas.gmail.com
do do
$gnomeextcmd enable -q $ext $gnomeextcmd disable -q $ext
done done
} }
set_gnome_extensions set_gnome_extensions
@ -115,13 +115,13 @@ set_misc_preferences () {
gsettings set org.gnome.desktop.calendar show-weekdate true gsettings set org.gnome.desktop.calendar show-weekdate true
# Add minimise and maximise buttons to the window title bars. # Add minimise and maximise buttons to the window title bars.
gsettings set org.gnome.desktop.wm.preferences button-layout 'appmenu:minimize,maximize,close' gsettings set org.gnome.desktop.wm.preferences button-layout 'appmenu:close'
# Stop dialogue boxes from 'sticking' to their parent windows. # Stop dialogue boxes from 'sticking' to their parent windows.
gsettings set org.gnome.mutter attach-modal-dialogs false gsettings set org.gnome.mutter attach-modal-dialogs false
# Disable hot-corners. # Enable hot-corners.
gsettings set org.gnome.desktop.interface enable-hot-corners false gsettings set org.gnome.desktop.interface enable-hot-corners true
# Set a background colour for when a wallpaper is not available. # Set a background colour for when a wallpaper is not available.
gsettings set org.gnome.desktop.background primary-color '#023c88' gsettings set org.gnome.desktop.background primary-color '#023c88'