Dlaczego mam dwa doki na pulpicie Ubuntu 17.10?

Co tu się dzieje? Mam zainstalowane Dash do dokowania przedłużenia na Ubuntu 17.10. Wszystko było fajne, a kiedy próbowałem ulepszyć i poprawić wygląd mojego pulpitu, w pewnym momencie pasek skrótów (dok??) Po lewej stronie jest duplikowany. Domyślne, które zwykle znika z Dash do Docka, znajduje się pod tym, które zwykle pojawia się podczas instalacji Dasha do Docka. Dlaczego?

^{(Kliknij obraz, aby powiększyć)}

Próbowałem przejść przez opcje Dash to Dock, GNOME Tweak Tool i zwykłe ustawienia Ubuntu, ale nie mogę tego rozgryźć.

Uruchomienie Dash to Dock wraz z domyślnym Ubuntu Dock nie jest dobrym pomysłem. Ponieważ Ubuntu Dock jest rozwidleniem Dash to Dock (a zatem mają one wiele takich samych schematów), problem taki nie jest tak naprawdę zaskakujący.

Wyłącz jedno z dwóch rozszerzeń (Ubuntu Dock i Dash to Dock) za pomocą Tweaks lub w inny sposób (zapoznaj się z tym, jeśli chcesz wyłączyć Ubuntu Dock).

Zrobiłem następujące kroki:

• Otwórz ustawienia Dash to Dock
• Przejdź do zakładki „Poistion and size”
• Zaznacz opcję „Pokaż na wszystkich monitorach”

To rozwiązało problem. Mam nadzieję, że to też dla ciebie zadziała. Upewnij się również, że dok Ubuntu jest wyłączony.

Grałem z podobnymi problemami: pasek ulubionych Gnome pokazywał się w widoku działań, a dok wyświetlał się na ekranie blokady; jak mówi pomsky, wszystkie te problemy są związane z kombinacją Ubuntu Dock i Dash to Dock.

Znalazłem to obejście dla dostosowania stacji dokującej z prawie wszystkimi opcjami, które oferuje Dash to Dock:

1. Zainstaluj Dash w Docku.
2. Dokonaj wszystkich dostosowań.
3. Usuń Dash to Dock (z https://extensions.gnome.org/local/ ).
4. Wyloguj się i zaloguj.

Mimo że Dash to Dock został usunięty, dostosowanie (pozycja, rozmiar, zachowanie, wygląd) nadal występuje w Ubuntu Dock, a problemy (nakładanie się doków, pokazy dokowania na ekranie blokady i pokazy ulubionych w widoku działań) nie są już obecne.

Uwagi: dzięki tej metodzie jedyną rzeczą, którą straciłeś z Dasha do Docka, jest menu „Ustawienia Dasha do Docka” z ikony aplikacji i oczywiście pozycja ustawień Dasha do Docka w Gnome Tweak Tool. Nie próbowałem jeszcze, ale myślę, że jeśli zmienisz pozycję Dock w ustawieniach Ubuntu, być może niektóre dostosowania dokonane za pomocą Dasha w Dock zostaną utracone.

Dla mnie działa:

1. Zainstaluj i skonfiguruj rozszerzenie „dash to dock”

2. Edytuj następujący plik:

   sudo vi /usr/share/gnome-shell/extensions/[email protected]/extension.js
   

3. W następnym bloku kodu, zmienić let to_enable = true;na let to_enable = false:

   function conditionallyenabledock() {
       let to_enable = false;
       runningExtensions = ExtensionSystem.extensionOrder;
       for (let i = 0; i < runningExtensions.length; i++) {
           if (runningExtensions[i] === "[email protected]") {
               to_enable = false;
           }
       }
   
       // enable or disable dock depending on dock status and to_enable state
       if (to_enable && !dockManager) {
           dockManager = new Docking.DockManager();
       } else if (!to_enable && dockManager) {
           dockManager.destroy();
           dockManager = null;
       }
   }
   

4. Uruchom ponownie sesję lub naciśnij klawisze Alt + F2 i wpisz restart

Otóż ​​to.

Stałem w obliczu tego samego problemu, a potem znalazłem ten nxadm cluadio . To naprawdę załatwiło sprawę.

1. Usuń rozszerzenie Dash to Dock, jeśli masz zainstalowane.

2. Użyj dconfzgodnie z opisem w linku. Tekst w tym kroku został skopiowany z tego samego linku.

   Aby uniemożliwić Ubuntu Dockowi zajęcie całej przestrzeni pionowej (tzn. Większość z nich to po prostu pusty pasek):

   dconf write /org/gnome/shell/extensions/dash-to-dock/extend-height false
   

   Zgrabna sztuczka w Docku: gdy najedziesz myszką na ikonę w doku, przewijaj okna aplikacji podczas przewijania (lub używania dwóch palców). O wiele szybciej niż kliknięcie + wybór:

   dconf write /org/gnome/shell/extensions/dash-to-dock/scroll-action "'cycle-windows'"
   

   Dock ustawiam na automatyczne ukrywanie w zwykłej aplikacji „Ustawienia”. Konieczne jest rozszerzenie, aby zrobić to samo dla paska górnego (musisz się wylogować i włączyć go za pomocą aplikacji „Tweaks”):

   sudo apt install gnome-shell-extension-autohidetopbar
   

   Dla bezpieczeństwa (np. Na wypadek, gdybyś coś popsuł) możesz zresetować wszystkie ustawienia GNOME za pomocą:

   dconf reset -f /
   

Opcjonalnie: Możesz zainstalować dconf-editori przeglądać inne ustawienia.