Petite astuce pour faire disparaître l' icône Docky ( Inutile ) dans le Dock :
Tapez cette commande dans le terminal :



Il sera toujours possible de modifier les préférences de Docky avec un clic-droit (sur la barre de séparation, par exemple )

Si vous voulez revenir en arrière :



Cette dernière commande est à tester, car j'ai juste remplacé False par True sans l'essayer.

Ces commandes sont actives après redémarrage du PC.

la documentation sur ces réglages est disponible ici (en)

MERCI papajoke, pour ces précisions.

Par contre la saisie de gconfig-editor dans le terminal ou après ALT+F2 ne donne rien.
Je dois peut être ajouter Docky Manager ?