gsettings set org.gnome.shell development-tools true
The key is not writable
即使 sudo 也无济于事
设置
gnome-shell --version
GNOME Shell 42.9
uname -a
22.04.1-Ubuntu SMP x86_64 GNU/Linux
答案1
有效的解决方案。这解决了问题。
注释掉的行如下所示
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
重新加载数据库。
sudo dconf update
运行下面一行或者使用 dconf-editor
gsettings set org.gnome.shell development-tools true