1 votes

L'UUID du profil du terminal par défaut de dconf change-t-il entre les installations Ubuntu ?

Je voudrais rendre mes paramètres de dconf portables, donc je les écris dans un fichier avec dconf dump / > file . Cependant, lorsqu'il s'agit de définir le profil du terminal, l'UUID de mon profil est inclus.

[org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9]
visible-name='artu-hnrq'
use-theme-colors=false
1use-transparent-background=true
background-transparency-percent=8

Donc, en supposant que chaque installation Ubuntu génère un UUID de profil de terminal par défaut différent, je considère que le fichier dump n'appliquera pas correctement la configuration souhaitée, puisque l'UUID de profil de terminal de l'installation cible ne sera pas le même lorsque j'exécuterai dconf load / < file dans un autre ordinateur.

De cette façon, je voudrais lire l'UUID du profil du terminal de la machine avant de configurer les clés dconf.

Existe-t-il un moyen de travailler avec des variables dans ce fichier ? Ou existe-t-il un autre moyen de le contourner ?

2voto

egmont Points 7095

Étonnamment, le profil par défaut (premier) possède cet identifiant sur tous les ordinateurs.

La liste des profils de terminaux gnome, ainsi que le profil par défaut, sont stockés dans le répertoire org/gnome/terminal/legacy/profiles:/list y org/gnome/terminal/legacy/profiles:/default respectivement. Vous pouvez les interroger et les restaurer avec dconf tout comme vous le faites avec les profils eux-mêmes (par ex. dconf read [...] ), ou utiliser leur résultat dans la construction de la prochaine dconf ligne de commande.

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X