#关闭
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 查看
来源：oschina
链接：https://my.oschina.net/hemiya/blog/4437356