gnome shell 扩展命令行开启和关闭

#关闭
gnome-shell-extension-tool -d 扩展名

#开启
gnome-shell-extension-tool -e 扩展名

例如：
gnome-shell-extension-tool -d dash-to-dock@micxgx.gmail.com
gnome-shell-extension-tool -e dash-to-dock@micxgx.gmail.com

扩展名在用户目录下 ～/.local/share/gnome-shell/extensions 查看