答案1
首先使用以下命令获取启用的扩展
gsettings get org.gnome.shell enabled-extensions
例子;
pratap@i7:~$ gsettings get org.gnome.shell enabled-extensions
['[email protected]']
pratap@i7:~$
然后将您的扩展名称添加到您得到的输出中
例子;
gsettings set org.gnome.shell enabled-extensions "['[email protected]', '[email protected]']"
答案2
首先,使用终端安装“用户主题”扩展(如果还没有安装),您可以运行以下命令:
sudo apt install gnome-shell-extensions
这将安装“用户主题”扩展以及一堆其他扩展。
gsettings
除非需要,否则您不必使用。您可以使用启用所需的扩展gnome-shell-extension-tool
。具体来说,要启用“用户主题”,您需要运行的命令是
gnome-shell-extension-tool -e user-themes
参数-e
告诉gnome-shell-extension-tool
启用扩展。
-d
您还可以使用参数而不是来禁用扩展-e
。
答案3
在新版本中,上述命令已被弃用。新命令为:
gnome-extensions COMMAND
如果您需要有关命令类型的更多信息:
gnome-extensions help
启用或禁用扩展“用户主题”:
gnome-extensions enable/disable [email protected]