Comment afficher et modifier les paramètres avancés de la station d'accueil Ubuntu par défaut

Ubuntu est passé à l'environnement de bureau «Gnome Shell» il y a quelques années il y a quelques années. La coquille est légèrement personnalisée et sur le thème pour imiter l'environnement de bureau «Unity» précédent. La docke de coquille de gnome par défaut est remplacée par une fourche d'extension de coquille GNOME «Dash-to-dock», renommée simplement comme «Ubuntu Dock.»Dash-to-dock offre une pléthore d'options pour personnaliser le quai. Cependant, les développeurs d'Ubuntu ont choisi de garder les choses simples et minimes en exposant seulement une poignée d'options. Les nombreuses options de personnalisation, cependant, sont toujours présentes. Cet article expliquera comment modifier ces paramètres avancés cachés du quai Ubuntu (testé avec Ubuntu 20.04 LTS).

Paramètres de quai ubuntu par défaut

Les paramètres de quai Ubuntu sont accessibles à partir de l'icône «Paramètres» dans le lanceur d'applications. Dans l'onglet «Apparence», vous verrez quelques paramètres pour personnaliser le quai. En dehors de ceux-ci, aucune autre option de personnalisation n'est disponible pour les utilisateurs par défaut.

Éditeur DCONF

L'éditeur DCONF est un utilitaire de configuration centralisé qui stocke les paramètres de shell et d'application dans des paires de valeurs clés. Presque toutes les applications GNOME3 par défaut et tierces utilisent DCONF pour stocker les options. L'éditeur DCONF est un outil graphique pour gérer ces paramètres, généralement cachés aux utilisateurs. La modification directe des paramètres de l'éditeur DCONF est découragée par les développeurs car une mauvaise configuration peut briser votre système. Cependant, si vous êtes prudent et que vous prenez une sauvegarde avant de modifier les paramètres, l'éditeur DCONF peut être utilisé pour modifier les paramètres avancés.

Pour installer l'éditeur DCONF dans Ubuntu, exécutez la commande ci-dessous:

$ sudo apt installer dconf-éditeur

Pour prendre une sauvegarde de toutes les options disponibles dans tout le système et leur état actuel, exécutez la commande ci-dessous:

$ dconf vidage /> sauvegarde.SMS

Pour charger la sauvegarde prise ci-dessus, exécutez la commande ci-dessous:

$ dconf charge / < backup.txt

Pour réinitialiser tous les paramètres à l'échelle du système, exécutez la commande ci-dessous:

$ dconf reset -f /

Le chemin du Dock Ubuntu dans l'éditeur DCONF est:

/ org / gnome / shell / extensions / dash-to-dock /

Pour prendre une sauvegarde du quai Ubuntu (ou toute autre application spécifique), exécutez la commande ci-dessous en fournissant le chemin complet:

$ dconf vidage / org / gnome / shell / extensions / dash-to-dock /> sauvegarde.SMS

Pour charger la sauvegarde prise ci-dessus, exécutez la commande ci-dessous:

$ dconf charge / org / gnome / shell / extensions / dash-to-dock / < backup.txt

Pour réinitialiser les paramètres de quai Ubuntu, exécutez la commande ci-dessous:

$ dconf reset -f / org / gnome / shell / extensions / dash-to-dock /

Maintenant que vous savez comment prendre une sauvegarde, réinitialiser et restaurer les paramètres DCONF, vous pouvez essayer de modifier les paramètres avancés du quai Ubuntu. Ouvrez l'application «DCONF Editor» à partir du lanceur d'applications. Recherchez «Dash-to-Dock» pour accéder aux paramètres du quai. Vous pouvez également naviguer manuellement vers "org> gnome> Shell> Extensions> Dash-to-dock" Path pour accéder aux paramètres. Tous les paramètres apparaissant sous une entrée «Dash-to-Dock» sont explicites, et la description est fournie si nécessaire. Ces paramètres se composent principalement de bascules, de cases à cocher et de boutons radio. Changez-les simplement en fonction de vos besoins. Chaque paramètre peut être restauré individuellement à sa valeur par défaut à partir de l'interface graphique elle-même.

Paramètres d'extension de coque de gnome de tableau de bord

Vous pouvez entièrement sauter à l'aide de l'éditeur DCONF et installer une extension de tableau de bord pour modifier les paramètres de la station d'accueil Ubuntu. Toutes les modifications apportées à Dash-to-Dock s'appliqueront également à la station d'accueil Ubuntu, même si vous désinstallez le tableau de bord plus tard.

Pour installer Dash-to-Dock dans Ubuntu, exécutez la commande ci-dessous pour installer la dépendance nécessaire:

$ sudo apt install chrome-gnom-shell

Après avoir installé le package ci-dessus, vous pouvez installer une extension de shell gnome de tableau de bord à partir d'ici. Vous devrez ouvrir le lien dans n'importe quel navigateur Chrome ou Chrome pour installer l'extension. Une fois que vous avez installé l'extension, cliquez avec le bouton droit sur l'icône de la grille d'application sur le panneau Dash-to-Dock visible pour accéder aux paramètres.

À partir de l'utilitaire de configuration GUI, vous pouvez modifier les paramètres selon vos besoins.

Pour réinitialiser la station d'accueil Ubuntu à ses paramètres par défaut, vous avez d'abord pour supprimer l'extension Dash-to-Dock, puis utilisez la commande DCONF RESET expliquée ci-dessus. Par souci d'achèvement, voici la commande que vous devez exécuter pour réinitialiser la station d'accueil Ubuntu aux paramètres par défaut après avoir supprimé le tableau de bord du lien de téléchargement spécifié ci-dessus:

$ dconf reset -f / org / gnome / shell / extensions / dash-to-dock /

Si vous pouvez voir à la fois le Dock Ubuntu et le Dash-to-Dock après avoir suivi les étapes ci-dessus, déconnectez-vous et redémarrez pour résoudre le problème. Vous pouvez également résoudre ce problème en rechargeant Gnome Shell en appuyant et en entrant «R» (sans devis) dans la boîte d'entrée contextuelle.

Conclusion

Les paramètres de Dock Ubuntu sont intentionnellement maintenus minimes pour garder les choses simples. Cependant, si vous les trouvez manquants ou si vous aimez personnaliser et thème le quai, vous pouvez utiliser des méthodes expliquées ci-dessus pour modifier les paramètres. En cas de rupture, vous pouvez utiliser la commande de réinitialisation pour restaurer le quai Ubuntu à ses paramètres d'origine.