web-dev-qa-db-fra.com

Comment puis-je déplacer le dock gnome vers la gauche?

J'ai installé le panneau gnome: https://extensions.gnome.org/extension/17/dock/

mais c’est du côté droit, ce qui est assez énervant car il apparaît toujours lorsque vous utilisez la barre de défilement. Comment puis-je le déplacer vers la gauche?

12.04gnomedock
3
Paul Woitaschek

Ouvrez un terminal et tapez:

gsettings set org.gnome.Shell.extensions.dock position left

Pour les utilisateurs 3.2, voici une autre manière:

Tapez un terminal:

gedit ~/.local/share/gnome-Shell/extensions/[email protected]/extension.js

À propos de la ligne 44 trouver:

const DOCK_POSITION = PositionMode.RIGHT;

changer à

const DOCK_POSITION = PositionMode.LEFT;

Enregistrez, quittez, actualisez gnome-Shell (appuyez sur [Alt + F2] suivi de r) et profitez-en!

2
jasmines
  1. Ouvrir dconf-editor
  2. Allez à /org/gnome/Shell/extensions/dock
  3. Basculer autohide et position gauche/droite à partir de là

Source: Forums Ubunt

1
drizzt13