Почему у меня есть две доки на рабочем столе Ubuntu 17.10?


16

Что тут происходит? Я установил расширение Dash to Dock в Ubuntu 17.10. Все было круто, и когда я пытался отточить и настроить внешний вид своего рабочего стола, в какой-то момент панель ярлыков (док?) Слева дублировалась. По умолчанию, который обычно исчезает с Dash to Dock, находится под тем, который обычно появляется, когда я устанавливаю Dash to Dock. Почему?

IMG:
(Нажмите на изображение, чтобы увеличить)

Я попытался просмотреть параметры Dash to Dock, GNOME Tweak Tool и обычные настройки Ubuntu, но не могу понять.


После того, как вы установили Dash to Dock, вы можете просто sudo apt remove gnome-shell-extension-ubuntu-dock. Это то, что я в конечном итоге сделал, чтобы решить подобные проблемы. Пока-пока!
Shibumi

Ответы:


11

Запуск Dash to Dock вместе со стандартной док-станцией Ubuntu не является хорошей идеей. Поскольку Ubuntu Dock является ответвлением от Dash to Dock (и, следовательно, они имеют много одинаковых схем), такая проблема не вызывает удивления.

Отключите одно из двух расширений (Ubuntu Dock и Dash to Dock), используя Tweaks или каким-либо другим способом (обратитесь к этому, если вы хотите отключить Ubuntu Dock).


Pomsky прав, у меня была такая же проблема с 17.10, для меня тире Dock вызывает проблемы
Дуду

1
У меня та же проблема, и я отключил док-станцию ​​Ubuntu перед установкой док-станции на приборную панель. Так что я не знаю о других, но это не работает для меня.
verpfeilt

@verpfeilt Отключить Ubuntu Dock в сеансе Ubuntu по умолчанию нелегко . Самый безопасный вариант - установить ванильный GNOME , там по умолчанию Ubuntu Dock отключен. Вы также можете рассмотреть ответ Леопербо на этот вопрос. Потенциально небезопасный вариант - удалить папку для док-станции /usr/share/gnome-shell/extensions.
Помский

Хорошо, я предположил, что с "твиками" ты имел ввиду gnome-tweak-tool. Это то, что не работает для меня.
verpfeilt

1
Чтобы удалить это я сделал sudo apt remove gnome-shell-extension-ubuntu-dock. Затем выйдите из системы / войдите в систему, и Dash to Dock работал должным образом :)
Jérémy Pouyet

7

Я сделал следующие шаги:

  • Откройте настройки Dash to Dock
  • Перейдите на вкладку "Poistion and size"
  • Отметьте опцию «Показать на всех мониторах»

Это решило проблему для меня. Надеюсь, это работает и для вас. Также убедитесь, что док-станция Ubuntu отключена.


Это сработало для меня! Есть идеи, как этот параметр влияет на поведение док-станции на экране действий?
Эвертон

Я могу только догадываться, почему это сработало. К сожалению, я не могу предоставить вам ничего конкретного.
chai_and_kaapi

Работал для меня на Ubuntu 18.10, хотя это не имеет смысла.
андреас

Это сработало для меня. Может быть, есть какое-то отношение к установке Ubuntu с существующим домашним разделом?
Stargazer

5

Я играл с похожими проблемами: панель избранного Gnome показывалась в окне активности, а док отображался на экране блокировки; Как говорит Помский, все эти проблемы связаны с сочетанием Ubuntu Dock и Dash с Dock.

Я нашел этот обходной путь для настройки док-станции с почти всеми опциями, которые предлагает Dash to Dock:

  1. Установите Dash to Dock.
  2. Сделайте все ваши настройки.
  3. Удалить Dash to Dock (из https://extensions.gnome.org/local/ ).
  4. Выйти и войти.

Несмотря на то, что Dash to Dock был удален, настройки (положение, размер, поведение, внешний вид) сохраняются в Ubuntu Dock, а проблемы (перекрывающиеся доки, показы док-станций на экране блокировки и показы избранных в представлении действий) больше не присутствуют.

Примечания: при использовании этого метода единственное, что вы потеряли из Dash to Dock, - это меню «Настройки Dash to Dock» на значке приложений и, конечно, запись настроек Dash to Dock в Gnome Tweak Tool. Я еще не пробовал, но думаю, что если вы измените запись Dock в настройках Ubuntu, возможно, некоторые настройки, реализованные с настройками Dash to Dock, будут потеряны.


Это не сработало для меня, к сожалению. Док Ubuntu теперь такой же, как и раньше. Я прочитал это каноническое обещание, что люди смогут использовать обычное расширение Dash to Dock, если захотят, поэтому мне действительно интересно, почему существует эта проблема.
verpfeilt

4

Следующее работает для меня:

  1. Установите и настройте расширение "dash to dock"
  2. Отредактируйте следующий файл:

    sudo vi /usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/extension.js
    
  3. В следующем блоке кода, измените let to_enable = true;на let to_enable = false:

    function conditionallyenabledock() {
        let to_enable = false;
        runningExtensions = ExtensionSystem.extensionOrder;
        for (let i = 0; i < runningExtensions.length; i++) {
            if (runningExtensions[i] === "dash-to-dock@micxgx.gmail.com") {
                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. Перезапустите сеанс или нажмите Alt + F2 и введите restart

Вот и все.


0

Я столкнулся с той же проблемой, затем я нашел этот nxadm cluadio . Это действительно помогло.

  1. Удалите расширение Dash to Dock, если оно установлено.
  2. использование dconf как описано в ссылке. Текст на этом шаге был скопирован с той же ссылки.

    Чтобы запретить Ubuntu Dock занимать все вертикальное пространство (то есть большую часть это просто пустая строка):

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

    Опрятный трюк с док-станцией: при наведении курсора на значок на док-станции, прокручивайте окна приложения во время прокрутки (или с помощью двух пальцев). Намного быстрее, чем нажать + выбрать:

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

    Я установил док для автоматического скрытия в обычном приложении «Настройки». Для того, чтобы сделать то же самое для верхней панели, требуется расширение (необходимо выйти из системы и включить его через приложение «Tweaks»):

    sudo apt install gnome-shell-extension-autohidetopbar
    

    Просто чтобы быть в безопасности (например, если вы что-то сломали), вы можете сбросить все настройки GNOME с помощью:

    dconf reset -f /
    

Необязательно: Вы можете установить dconf-editorи изучить другие настройки.

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.