Ubuntu-fr

Locky153

Onglet Dock disparu

Bonjour,

Je viens vers vous pour un petit problème : lorsque je lance Paramètres, je n'ai plus l'onglet Dock dans la liste, comme vous pouvez le voir dans le screen. Pouvez-vous m'aider pour le retrouver ?

Merci d'avance.

michcauch

Re : Onglet Dock disparu

Bonsoir,
Le réglage du dock se fait dans Ajustements (gnome-tweak-tool) à installer via Logiciels ou Synaptic.

---

Cordialement
Michel
___
Ubuntu 24.04.1 sur Clevo N141WU

Locky153

Re : Onglet Dock disparu

Ce n'est pas dans Ajustements, mais bien Paramètres qu'il doit être.

Roschan

Re : Onglet Dock disparu

Je suppose que tu n'es pas sur la session Ubuntu, mais sur la session "GNOME", auquel cas les paramètres du dock doivent bien être accédés via Ajustements.

Si c'est vraiment la session Ubuntu (vérifie ce que tu as coché lors de la connexion), là par contre c'est un bug.

Locky153

Re : Onglet Dock disparu

C'est bien une session Gnome, et c'est dans Paramètres et non Ajustements. Voir ici (Settings correspond à Paramètres) https://linuxconfig.org/how-to-customiz … aver-linux et il y a bien l'onglet Dock situé juste sous Wifi, Bluetooh et Background (Arrière-plan en français) comme sur mon scteen, sauf que moi, il manque l'onglet Dock.

Roschan

Re : Onglet Dock disparu

Évidemment que ça utilise GNOME, je vois ton screenshot, merci. La question est de savoir si la session s'appelle "Gnome" au moment de la connexion.

Si oui, toutes les modifications bricolées par Canonical pour intégrer le dock ne sont pas là, et il faut donc paramétrer les extensions par l'interface prévue à cet effet dans le cas général, c'est à dire "gnome-shell-extension-prefs" ou alors Ajustements. Si tu veux que ce soit intégré aux paramètres, il faut utiliser la session "Ubuntu".

Je peux le reformuler une 3ème fois si tu veux

Dernière modification par Roschan (Le 30/05/2018, à 21:16)