Le Site de TuxLibre

Linux of course ! LinuxMint - Ubuntu - Photographie - Astuces Linux - Vidéos - Musiques

UBUNTU : Des progrès à faire pour la configuration du bureau Gnome

Publié le 18 Octobre 2021 par TUXLIBRE in UBUNTU, DISTRIBUTIONS

UBUNTU : Des progrès à faire pour la configuration du bureau Gnome

Il y a de quoi être un peu déçut après une installation propre d'Ubuntu 21.10 de constater qu'il faut encore patauger dans les fichiers de configuration pour exécuter une modification simple.

Après tout, si les développeurs de Gnome et Ubuntu faisaient le choix que la configuration d'origine ne puisse faire l'objet de modification, c'est un choix qui se respecterai. Ainsi la distribution Elementary a fait ce choix d'un bureau totalement intégré et très peu modifiable dans les détails.

Mais Ubuntu n'a pas fait ce choix, je trouve donc qu'il est incompréhensible qu'il faille passer par la ligne de commande pour changer le dock de place, et modifier l'emplacement du bouton des applications. Ainsi pour passer d'un bureau avec le dock à gauche comme ci-dessous :

UBUNTU : Des progrès à faire pour la configuration du bureau Gnome

à un bureau ou le dock est en bas et réduit dans sa longueur comme ci-dessous:

UBUNTU : Des progrès à faire pour la configuration du bureau Gnome

Personnellement, je n'ai trouvé aucune option si ce n'est de passer par une extension tierce au système Mais qui ne fonctionne pas correctement avec Gnome 40, je ne vois pas comment gérer directement cette modification. Il faut passer par le terminal pour ces trois modifications, qui pourrait être un simple bouton à pousser dans la gestion du thème du bureau. 

Déplacez « Afficher les applications » (icône à 9 points) vers le haut :

gsettings set org.gnome.shell.extensions.dash-to-dock show-apps-at-top true

 

Raccourcir le panneau pour le rendre compact :

gsettings set org.gnome.shell.extensions.dash-to-dock extend-height false

 

Déplacez le dock vers le bas, bien que vous puissiez le faire via les paramètres système :

gsettings set org.gnome.shell.extensions.dash-to-dock dock-position BOTTOMon cherche

 

Alors si on cherche une solution graphique pour ces modifications minimes, on trouve l"application Dconf-Editor un éditeur graphique des fichiers de configuration. On peut trouver cet utilitaire dans la logithèque d'Ubuntu.

ATTENTION : Les paramètres modifiés par Dconf Editor sont parfois critiques pour le fonctionnement du système. Dconf Editor est un outil potentiellement dangereux, à réserver aux initiés. (source ubuntu-fr)

Cet utilitaire est quand même réduit au strict minimum et il faut savoir chercher les paramètres à modifier.

UBUNTU : Des progrès à faire pour la configuration du bureau Gnome
UBUNTU : Des progrès à faire pour la configuration du bureau Gnome

NOTA BENE :

DEPUIS QUELQUES JOURS, L'EXTENSION DASH TO DOCK À ÉTÉ MISE À JOUR ET PERMET DE PRENDRE EN CHARGE TOUT UN ENSEMBLE DE FONCTIONNALITÉS POUR PARAMÉTRER LE DOCK

Annonce DASH TO DOCK

 

UBUNTU : Des progrès à faire pour la configuration du bureau Gnome
Commenter cet article
G
` je trouve donc qu'il est incompréhensible qu'il faille passer par la ligne de commande pour changer le dock de place` -> As tu essayé avec gnome-tweak?
Répondre
T
est résolu ...
T
Bonsoir, j'ai publié une rectification, au moment de la sortie de Ubuntu, Dash to dock n'était pas compatible, donc le problème aujourd'hui