web-dev-qa-db-fra.com

Comment désactiver "Utiliser les couleurs du thème système" dans gnome-terminal via CLI?

Dans un script, j'essaie de définir la configuration de gnome-terminal. La définition de la couleur d'arrière-plan fonctionne, mais l'option "Utiliser les couleurs du thème système" de l'onglet Couleurs dans les paramètres du profil est prioritaire. Comment puis-je désactiver cela avec quelque chose comme gsettings ou dconf? J'ai essayé, sans succès, de trouver la bonne valeur avec dconf-editor.

3
Lasse Meyer

En supposant que vous changiez le profil par défaut fourni avec gnome-terminal, vous pouvez utiliser cette commande pour changer la préférence afin d’utiliser des couleurs de thèmes .

dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/use-theme-colors false

Ici, b1dcc9dd-5262-4d8d-a863-c897e6d979b9 est l'UUID du profil par défaut du terminal Gnome.

Si vous souhaitez modifier les paramètres d'un autre profil, vous devez connaître son UUID. La bonne chose est que la plupart des utilisateurs utilisent le profil par défaut, il devrait donc fonctionner la plupart du temps.


Ajout du commentaire OP

La valeur UUID du profil par défaut peut être récupérée à l'aide de cette commande

gsettings get org.gnome.Terminal.ProfilesList default

Donc, le mettre dans une variable disons TPROFILE, enlever ' du début et se terminer par TPROFILE=${TPROFILE:1:-1} et l’utiliser comme $TPROFILE à la place de UUID garantira que le profil par défaut est en cours de modification, même si l'UUID est modifié par l'utilisateur.

3
Anwar