Положение дока в Ubuntu 18.10 не меняется

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

Есть идеи? Это новая установка на Lenovo Ideapad 330.

Вот мой вывод sudo debsums gnome-shell-extension-ubuntu-dock:

/usr/share/doc/gnome-shell-extension-ubuntu-dock/changelog.gz                 OK
/usr/share/doc/gnome-shell-extension-ubuntu-dock/copyright                    OK
/usr/share/glib-2.0/schemas/10_ubuntu-dock.gschema.override                   OK
/usr/share/glib-2.0/schemas/org.gnome.shell.extensions.dash-to-dock.gschema.xml OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/README.md            OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/Settings.ui          OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/appIconIndicators.js OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/appIcons.js          OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/convenience.js       OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/dash.js              OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/docking.js           OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/extension.js         OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/intellihide.js       OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/launcherAPI.js       OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/media/glossy.svg     OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/media/highlight_stacked_bg.svg OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/media/highlight_stacked_bg_h.svg OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/media/logo.svg       OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/metadata.json        OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/stylesheet.css       OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/theming.js           OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/utils.js             OK
/usr/share/gnome-shell/extensions/ubuntu-dock@ubuntu.com/windowPreview.js     OK
0
задан 15 May 2019 в 06:32

2 ответа

Хотя это не совсем решение, единственное, что мне помогло, - это переключиться на другую среду рабочего стола. Это после попытки обновления до 19.04.

0
ответ дан 15 May 2019 в 06:32

Может быть, вы переключили док-станцию ​​на расширение вместо док-станции ubuntu по умолчанию.

Вы пробовали gnome-tweaks?

apt install gnome-tweaks

В меню Extensions вы можете отключить любые пользовательские расширения дока, чтобы убедиться, что используется значение по умолчанию.

Затем вы можете попытаться изменить его положение через терминал, используя:

gsettings set org.gnome.shell.extensions.dash-to-dock dock-position BOTTOM

Убедитесь, что для него задано:

gsettings list-recursively  | grep org.gnome.shell.extensions.dash-to-dock | grep position

оно должно вывести:

[ 1114] org.gnome.shell.extensions.dash-to-dock-позиция 'BOTTOM'

Также убедитесь, что установлено gnome-shell-extension-ubuntu-dock:

dpkg -l | grep -E "^ii.*gnome-shell-extension-ubuntu-dock"

Вы можно использовать debsums для проверки целостности пакета:

sudo apt install debsums
sudo debsums gnome-shell-extension-ubuntu-dock
0
ответ дан 15 May 2019 в 06:32

Другие вопросы по тегам:

Похожие вопросы: