Le réglage du dock ne fonctionne pas - Ubuntu 18.10
Je viens de passer de 18.04 à 18.10 et le quai est toujours caché. J'ai essayé de modifier le "masquer automatiquement le dock" dans les paramètres, mais rien ne fonctionne. J'ai aussi essayé de changer la position (de gauche en bas) et cela ne fonctionne pas non plus.
Le redémarrage de la session a fonctionné pour moi (Ubuntu 18.10.) Dans mon cas, j’ai ajouté un deuxième moniteur et la configuration de la station d’accueil ne répondait plus.