Ubuntuに拡張機能をインストール

sudo apt-get update
sudo apt install gnome-shell-extension-manager