Я установил панель gnome: https://extensions.gnome.org/extension/17/dock/
, но на правой стороне, что довольно раздражает, потому что всегда всплывает при использовании полосы прокрутки. Как я могу переместить его влево?
Откройте терминал и введите:
gsettings set org.gnome.shell.extensions.dock position left
Для пользователей 3.2, есть еще один способ:
Введите в терминале:
gedit ~/.local/share/gnome-shell/extensions/dock@gnome-shell-extensions.gcampax.github.com/extension.js
О строке 44 найдите:
const DOCK_POSITION = PositionMode.RIGHT;
измените на
const DOCK_POSITION = PositionMode.LEFT;
Сохраните, выйдите, обновите оболочку gnome (нажмите [Alt + F2] и нажмите r) и наслаждайтесь!
dconf-editor
/org/gnome/shell/extensions/dock
autohide
и влево / вправо оттуда