Comment est-ce que le bureau affiche toujours la barre des favoris (Ubuntu Dock) à gauche?
J'utilise Ubuntu 18.04.2. J'utilise un téléviseur via HDMI et le réglage pour le téléviseur. Cela semble très bien.
Lorsque je commence en AM, il y a généralement la barre des favoris à gauche qui affiche mes programmes préférés. Après quelques fois où l'ordinateur est passé en mode veille (ou quel que soit le nom) et que je me reconnecte, la barre de gauche a disparu et je dois appuyer sur "Activités" en haut pour qu'il apparaisse.
J'aimerais qu'elle soit toujours là. Je suis entré dans les paramètres "d'affichage" et le "Masquage automatique du Dock" est désactivé. Cela semble être la seule chose qui semble devoir s'appliquer.
Est-ce que quelqu'un sait quoi faire?
Le "barre des favoris" toujours visible est fourni par l'extension Ubuntu Dock GNOME Shell (nom du package: gnome-Shell-extension-ubuntu-dock). Conformément à la politique de sécurité de GNOME, chaque fois que votre système est suspendu (se met en veille), toutes les extensions sont désactivées automatiquement jusqu'à votre retour, puis les extensions sont réactivées. D'une manière ou d'une autre, cela échoue ici pour l'extension du dock Ubuntu dans votre cas.
Pour contourner le problème, redémarrez votre système (ou déconnectez-vous et reconnectez-vous) ou redémarrez simplement GNOME Shell en appuyant sur Alt+F2, puis en tapant r, et enfin en appuyant sur Enter.