Sur mon système Debian, j'ai personnalisé mes raccourcis clavier Gnome (Shell), via Paramètres système> Clavier> Raccourcis. Où puis-je trouver le fichier avec ces paramètres afin de pouvoir copier le fichier sur un lecteur flash pour la sauvegarde, puis l'utiliser pour remplacer les...
Je voudrais configurer la #002b36couleur d'arrière -plan et de premier plan de mon terminal gnome dans ubuntu 13, en utilisant le script bash. J'ai essayé gconftoolmais je n'ai pas réussi. GCONFTOOL-2(1) User Commands GCONFTOOL-2(1) NAME gconftool-2 - GNOME configuration tool Ma gnome...
J'ai pris une sauvegarde du fichier où ma dconfbase de données est stockée ( ~/.config/dconf/userqui est un fichier binaire), et maintenant je dois déplacer certaines clés de la sauvegarde vers celle dconfen cours d'utilisation. Comment puis-je visualiser le contenu de la sauvegarde dconfsans le...
Il y a certaines touches gsettings qui peuvent avoir des valeurs multiples (par exemple une clé comme verbosité pourrait être affecté à un error, infoou debug). Je veux pouvoir les lister, mais mon dconf-editor( 0.7.3 ) ne peut pas les voir. Existe-t-il une alternative
Chaque fois que j'ouvre un logiciel via le terminal, je reçois les erreurs suivantes et, finalement, le logiciel s'ouvre dconf-WARNING **: failed to commit changes to dconf: The connection is closed (gedit:3609): dconf-WARNING **: failed to commit changes to dconf: The connection is closed...
Gnome bureau semble configurable de différentes manières: dans " paramètres Gnome ", avec gnome-extensions , gnome-tweak-tool, gsettingsou dconf-editor. Cependant, à part cette procédure pour changer l'arrière - plan de l'écran de connexion , ce qui implique un peu de compilation glib, je n'ai...