La souplesse de Gnome Shell avec ses extensions permettent de modeler ce gestionnaire un peu comme bon vous semble. Voici une nouvelle extension permettant de placer le dock en base de l’écran pour accéder à vos applications préférées.


Pour installer ce dock il faut le télécharger depuis l’archive depuis le site deviantart, et de le décompresser dans le dossier .local/share/gnome-shell/extensions. Ensuite avec gnome-tweak-tools activez le.

Il est possible de changer la position pour que le dock apparaissent en haut de l’écran, de le rendre furtif. Pour réaliser cette opération il suffit d’éditer le fichier suivant :

gedit .local/share/gnome-shell/extensions/dock@gnome-shell-extensions.gcampax.github.com/extension.js

et de modifier les lignes suivantes :

// ### USER SECTION ### //
const DOCK_ENABLE_AUTOHIDE = true; //Values: true or false
const DOCK_POSITION = PositionMode.BOTTOM; //Values: PositionMode.TOP or PositionMode.BOTTOM
const DOCK_SIZE = 30;
// ### END USER SECTION ### //