启用社区免费软件源(也可以在"软件和更新"里勾选"universe"那一项)
sudo add-apt-repository universe
安装 gnome 优化扩展
sudo apt install gnome-tweak-tool
使用下面命令启动,或者在 Dash 里启动"优化"(GNOME Tweak)
gnome-tweaks
查找扩展
apt search gnome-shell-extension
安装其中一个扩展, gnome shell 扩展 (安装后可以在 Dash 里找"Extensions")
sudo apt install gnome-shell-extensions
以下命令将安装所有扩展(会装很多,慎用)
sudo apt install $(apt search gnome-shell-extension | grep ^gnome | cut -d / -f1)
