Dash a panelhez a Gnome Shell kiterjesztése hogy dokkot emulál, egyetlen panelben egyesítve a paneleket és az indítókat, kihasználva a KDE Plasma és a Windows Aereo-hoz hasonló grafikus funkciók előnyeit. Tisztázni kell, hogy a Dash to Panel nem hoz létre új panelt, hanem módosítja a Gnome Shell sáv megjelenését.
Ez a kiterjesztés mi különféle funkciókat kínál Ezek közül kiemelhetjük: többek között a panel helyzetének módosítása, méretének megváltoztatása, megjelenésének, betűméretének testreszabása, futó alkalmazások megjelenítése, ikonok elrejtése, az óra helyzetének beállítása.
Jelenleg Dash to Panel verziója 9 amelyekkel kiegészít néhány funkciót, amelyek közül kiemelhetjük a Window Peek módot, a lehetőségét, hogy el tudjuk rejteni a kedvenceket, alkalmazkodik többek között a kisebb képernyőkhöz.
Az új Window Peek funkció, lehetővé teszi számunkra, hogy egy alkalmazás tálcájában megjelenő előnézet felett lebegjünk teljes méretben, ezzel a többi ablak vagy alkalmazás átláthatóvá válik, hasonló a Windows 7 Air hatásához.
Másrészt a "kedvencek" elrejtésének lehetősége a panelről lehetőséget ad arra, hogy a panelt csak feladatlistaként használhassuk, és ne kombinált feladatlistaként és alkalmazásindítóként.
Ha úgy dönt, hogy használja ezt a kiterjesztést, ajánlott a Gnome Tweak Tool használatát is, és deaktiválja az "Alkalmazások menü megjelenítése" lehetőséget a felső sávban található opciókban, hogy ne veszítse el az alkalmazások beállításai menüjét.
A Dash to Panel telepítése az Ubuntu 17.10-re
Először is, a Dash to Panel telepítéséhez a fő követelmény a Gnome Shell megléte a rendszeredben, tehát ha még nincs, akkor ezt átélheted útmutató a rendszerre történő telepítéshez.
Dash a panelhez letölthető a Github-ból és te tudod letöltés erről a linkről.
Ha a webhelyről telepítette a Dash to Panel alkalmazást extensions.gnome.org, a következő napokban képesnek kell lennie a frissítésre erre a verzióra, mert így is lehet töltse le és telepítse innen.
nem dolgozik a debiannál?
Nem teszteltem a Debianon. sajnálom