一般安装扩展 都会在 https://extensions.gnome.org/ 中安装或者 通过apt install 安装系统内置的扩展比如sudo apt install gnome-sh...