Turn off default extensions along with other extensions
This commit is contained in:
1 parent
d40779d50f
commit
c53e2d9213
2 files changed
+3
-3
No files matched your search
@@ -2,6 +2,9 @@ if ! command -v gnome-shell-extension-manager &>/dev/null; then
|
||||
sudo apt install -y gnome-shell-extension-manager pipx
|
||||
pipx install gnome-extensions-cli --system-site-packages
|
||||
|
||||
# Turn off default Ubuntu extensions
|
||||
gsettings set org.gnome.shell disabled-extensions ['[email protected]', '[email protected]', '[email protected]']
|
||||
|
||||
# FIXME: Break these extensions into individual installers
|
||||
gext install [email protected]
|
||||
gext install just-perfection-desktop@just-perfection
|
||||
|
||||
@@ -2,8 +2,5 @@ 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]']
|
||||
|
||||
# FIXME: Only do this on Framework laptops or similar displays
|
||||
gsettings set org.gnome.desktop.interface text-scaling-factor 0.8
|
||||
Reference in new issue
Block a user