Comme tout le monde le sait, vous pouvez créer un nouveau profil par le menu où l'on vous demande quel profil existant devrait être le parent de votre nouveau profil, etc. Mais comment dois-je créer un nouveau profil par la ligne de commande?
Dois-je lire toutes les valeurs existantes du profil par défaut via gconftool et les redéfinir sous un nouveau nom ou existe-t-il une meilleure solution? Si la réponse est oui: dois-je faire attention au nouveau nom de profil? Les nouvelles sont toujours appelés Profile0
, Profile1
, Profile2
etc.
command-line
gnome-terminal
Wurstsalat
la source
la source
Réponses:
la source
Vous ne pouvez pas créer un nouveau profil, mais vous pouvez vider votre configuration actuelle, l'utiliser
gconftool-2
, la modifier et la charger.N'oubliez pas qu'il ne renvoie que les valeurs non par défaut (ou ce que gconf détecte comme non par défaut), le fichier résultant n'a donc pas pu être complet.
la source
Pour GNOME Terminal> = 3.8 , pour créer / éditer / lire des profils via cli, vous pouvez utiliser soit
dconf-cli
ougsettings
. Mon choix estdconf-cli
.Créer un nouveau profil
Les étapes minimales sont
uuidgen
list
:dconf write "$dconfdir/list" "[..., 'UUID']"
visible-name
:dconf write "$dconfdir/:UUID"/visible-name "'NAME'"
Après cela, même si de nombreux paramètres ne sont pas définis, un nouveau profil apparaîtra dans les paramètres de l'interface graphique du terminal afin que vous puissiez modifier les paramètres via l'interface graphique.
Un script de travail:
Faites attention aux citations autour de la valeur que vous écrivez. Comme indiqué dans le manuel ,
Vous pouvez définir plus d'options du profil via cli si vous le souhaitez. Courir
mettre en place. Vous pouvez utiliser
dconf-editor
pour vérifier les options disponibles. Accédez à un chemin comme/org/gnome/terminal/legacy/profiles:/:9ca4ab84-42f2-4acf-8aa9-50e6351b209a/
. Il serait préférable de vérifier un ancien profil comportant de nombreuses options.Dupliquer un profil
Vous pouvez
dconf dump
un ancien profil et leload
remplacer par un existant. Donc, pour dupliquer un profil, vous devez en créer un nouveau en suivant les étapes ci-dessus et copier le profil d'un ancien pour le remplacer. N'oubliez pas de le renommer après avoir remplacé.Un script de travail:
Pour obtenir l'UUID d'un profil par son nom:
Définir un profil par défaut
Écrivez simplement l'UUID du profil sur la clé
default
:Référence
la source
dconf watch /
et j'ai finalement compris ce qui se passait et la réponse est exacte comme l'a écrit @joegnis. Créez simplement un UUID, écrivez-le dans la base de données et définissezvisible-name
et/list
.Facile. Utilisation:
Fichier-> Nouveau profil sur votre terminal.
Voir ici pour plus de détails.
Les références:
la source