En effet, la ligne de commande suivante ne fonctionnait pas :

gsettings set org.gnome.shell.extensions.dock position right

Maintenant, c'est actif.

Merci encore. 

Et sinon as-tu essayé un redémarrage ?

Pourquoi il m'arrive toujours des trucs comme ça...

J'ai donc suivi tes instructions, mais le dock ne s'affiche pas... Lorsque je regarde dans Synaptic, je vois que l'extension dock est bien installé. Quand je vais dans dconf, il y a bien tout les paramètres de cette extension. Par contre, dans Tweak tool, aucun signe du dock.

Du coup, toujours pas de dock...

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-dock

Ainsi tu auras le Dock, les paramètres correspondants dans Gsettings et les mises à jour.

Plus généralement, même si c'est tentant, mieux vaut passer par un dépôt que par le site : pas de paramètres dans gsettings, pas de mises à jour...

L'écologie des extensions telle qu'elle est actuellement est vraiment casse-gueule et va poser des problèmes à court, moyen et long terme.

voilà, je débute tout juste sous Ubuntu et après 2 semaines d'utilisation, je me suis dit qu'il était grand temps de personnaliser un peu mon environnement de travail. Je me suis donc lancé dans l'installation d'extensions.

Tout d'abord, je suis allé sur le site : https://extensions.gnome.org/ mais il m'affichait que je n'avais apparemment pas la bonne version de Gnome-shell (alors que j'ai la dernière...). J'ai donc cherché d'autre façon d'installer les extensions. Je suis tombé sur ce site : http://www.tux-planet.fr/installer-et-c … ome-shell/ que j'ai suivi. Problème : l'extension du dock ne s'affiche pas et n'apparaît pas dans Gnome-Tweak-Tool...

Entre temps, je me suis rendu compte que le site https://extensions.gnome.org/ ne marchait pas car j'utilisais Chromium (et qu'il ne fonctionne qu'avec Firefox...). Je suis donc retourné sur ce site avec Firefox et ai commencé à installer d'autres extensions dont le dock qui fonctionne cette fois-ci.
Nouveau problème : sa position !
Alors je ne sais pas pourquoi le développeur l'a programmé par défaut à droite, mais soit, il semble possible de le déplacer. J'ouvre donc le terminal et suite aux informations de différents sites, je tape :

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

Rien ne se passe... Je redémarre ma session, toujours rien.
Je retourne chercher sur le net, j'installe dconf, je vais dans les paramètres de l'extension : elle est déjà sur position : left...
Je désinstalle puis réinstalle l'extension, pareil...

Je me dis alors que c'est la première installation (qui n'a jamais marché) qui fait buguer les paramètres, je décide donc de tout désinstaller pour recommencer. Je fais une recherche dans mon navigateur et me rend compte qu'il reste 2 dossiers et 2 fichiers qui portent dans leurs noms "gnome-shell-extension" et "dock". Je les supprime donc pour repartir de 0.

Je réinstalle l'extension par https://extensions.gnome.org/. Je retape :

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

et là, le terminal me dit :

Le schéma « org.gnome.shell.extensions.dock » n'existe pas

Oups, je crois en effet que j'ai supprimé un fichier gnome-shell-extension-dock.schema ou quelque chose qui ressemblait à ça... Je jette un coup d'oeil dans dconf, pour l'extension dock, il me dit "Schema : no schema".

Voilà, j'ai donc fait ma première boulette sous Ubuntu, qui peut m'aider pour me dire comment retrouver ce fameux schéma...

Merci beaucoup,

Gus