Turn off default extensions

2024-05-27 19:15:42 -07:00
parent df5ad7c8dc
commit 47a8954ffd
1 changed files with 2 additions and 0 deletions
@@ -2,6 +2,8 @@ if ! command -v gnome-tweak-tool &>/dev/null; then
 	sudo apt install -y gnome-tweak-tool
 fi

+# Turn off default Ubuntu extensions
+gsettings set org.gnome.shell disabled-extensions ['[email protected]', '[email protected]', '[email protected]']

 # Set default UI theme
 source ~/.local/share/omakub/themes/gnome/yaru-dark-purple.sh