gsettings set org.gnome.shell development-tools true
The key is not writable
even sudo wont help
Setup
gnome-shell --version
GNOME Shell 42.9
uname -a
22.04.1-Ubuntu SMP x86_64 GNU/Linux
gsettings set org.gnome.shell development-tools true
The key is not writable
even sudo wont help
Setup
gnome-shell --version
GNOME Shell 42.9
uname -a
22.04.1-Ubuntu SMP x86_64 GNU/Linux
Working solution. This fixed it.
Commented out lines as shown below
head -10 /etc/dconf/db/local.d/locks/*
==> /etc/dconf/db/local.d/locks/extensions <==
# Lock the list of enabled extensions
#/org/gnome/shell/disable-user-extensions
#/org/gnome/shell/enabled-extensions
#/org/gnome/shell/development-tools
==> /etc/dconf/db/local.d/locks/extensions-mandatory <==
Lock the list of mandatory extensions
#/org/gnome/shell/enabled-extensions
#/org/gnome/shell/development-tools
Reloaded the db.
sudo dconf update
Run following line OR use dconf-editor
gsettings set org.gnome.shell development-tools true
head -10 /etc/dconf/db/local.d/locks/* ==> /etc/dconf/db/local.d/locks/extensions <==
Lock the list of enabled extensions
#/org/gnome/shell/disable-user-extensions #/org/gnome/shell/enabled-extensions #/org/gnome/shell/development-tools
==> /etc/dconf/db/local.d/locks/extensions-mandatory <==
Lock the list of mandatory extensions
#/org/gnome/shell/enabled-extensions #/org/gnome/shell/development-tools
– New Student Jul 18 '23 at 10:14