Ubuntu 18.04 の GNOME Tweak Tool の起動アプリケーションのスクリプトを誤って削除したため、Ubuntu ドックがログイン時に起動しなくなりました。デフォルトの GNOME ドックのみが表示されます。Tweak Tool 拡張機能セクションで Ubuntu ドックをオンにするオプションはグレー表示されていますが、gnome-shell-extension-ubuntu-dockインストールされています。
そのスクリプトの名前を誰か教えてもらえますか? (スクリプトだったことはほぼ間違いありません。すべてのデフォルト パッケージを再インストールしたくありません。)