パネルにダッシュ/ Ubuntu 19.10にドッキングするダッシュ
Ubuntu 19.04から19.10（新規インストール）にアップグレードしました。 19.04に、Ubuntu Softwareからdash to panelまたはdash to dockと呼ばれるアプリケーションをインストールしました（これはこれらの2つのうちの1つでしたか？覚えていません）。
それはトップバーを削除し、クロックとバッテリーなどを私のドックに次のようにマージしました：
19.10に切り替えた後、「作業」領域を大きくしたいので、これをインストールしてみました。私はUbuntuソフトウェアでこれらの両方を検索しましたが、どうやらこれらの検索結果は得られませんでした。 Ubuntuで動作するかどうかはわかりませんが、これらの拡張機能はまだ19.10に対応していませんか？はいの場合、それに代わるものはありますか？いいえの場合、何が問題ですか？ 99.99％はこれらの2つのうちの1つであると確信しています！
19.04から19.10にアップグレードしました。 Dash to Dockが機能しなくなったようです。 Dashをパネルにインストールしたところ、動作するようです。上部または下部に配置できます。そして私はそれが提供する余分なスペースが好きです。
私にとっては、それをウェブサイトからgnome拡張機能としてインストールしました。 https://extensions.gnome.org/
Gnome統合アドオンがまだインストールされていない場合は、Firefoxにインストールされていることを確認する必要があります。インストールされている場合は、Gnome統合アドオンのFirefoxブラウザーの右上に黒いフットプリントが表示され、Webサイトに移動できます。
これがお役に立てば幸いです。