Différences

Ci-dessous, les différences entre deux révisions de la page.

--- linux:dconf [09/08/2017 11:23] – créée daniel
+++ linux:dconf [09/08/2017 11:23] – daniel
@@ Ligne 1: / Ligne 1: @@
 ====== dconf ======
 Utilitaire pour manipuler la conf utilisateur, utile pour accéder à des paramètres de conf qui ne sont pas accessibles depuis les fenêtres de préférences.
 ===== gnome-terminal =====
@@ Ligne 6: / Ligne 7: @@
 <code bash>
 profil=xxx
-# pour voir la liste des clés d'un dossier
+# pour voir la liste des clés d’un dossier
 dconf list /org/gnome/terminal/legacy/profiles:/:$profil/
 # pour lire une clé