$ sudo apt install gnome-shell-extension-prefs
$ gnome-shell-extension-prefs &

先ず Ubuntu Dock があるかどうか確認
あったらONにする