diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 601ebdc..e5f1b62 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -64,7 +64,7 @@ set_gnome_extensions () { fi for ext in $dashtodock appindicatorsupport@rgcjonas.gmail.com do - $gnomeextcmd enable -q $ext + $gnomeextcmd disable -q $ext done } set_gnome_extensions @@ -115,13 +115,13 @@ set_misc_preferences () { gsettings set org.gnome.desktop.calendar show-weekdate true # 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. gsettings set org.gnome.mutter attach-modal-dialogs false - # Disable hot-corners. - gsettings set org.gnome.desktop.interface enable-hot-corners false + # Enable hot-corners. + gsettings set org.gnome.desktop.interface enable-hot-corners true # Set a background colour for when a wallpaper is not available. gsettings set org.gnome.desktop.background primary-color '#023c88'