La customization de Gnome-shell c'est compliqué. J'ai mis 1 semaine à installer des extensions pour tenter d'avoir la même utilisabilité que gnome 2, et encore c'est pas aussi bien sur certains plans.
J'utilise l'extension "Dash to Dock" pour éviter que la barre prenne toute la hauteur. Elle permet également de la déplacer en bas si on veut.
# Dash to Dock ?
Posté par Francois Revol (site web personnel) . En réponse au message personalisation de ubuntu gnome. Évalué à 2.
La customization de Gnome-shell c'est compliqué. J'ai mis 1 semaine à installer des extensions pour tenter d'avoir la même utilisabilité que gnome 2, et encore c'est pas aussi bien sur certains plans.
J'utilise l'extension "Dash to Dock" pour éviter que la barre prenne toute la hauteur. Elle permet également de la déplacer en bas si on veut.