Méthode n ° 1 - Utilisation de dconf
Contexte
Vous pouvez utiliser l' dconf
outil pour y parvenir, mais c'est un processus en plusieurs étapes.
DESCRIPTION
The dconf program can perform various operations on a dconf database,
such as reading or writing individual values or entire directories.
This tool operates directly on the dconf database and does not read
gsettings schema information.Therefore, it cannot perform type and
consistency checks on values. The gsettings(1) utility is an
alternative if such checks are needed.
Usage
$ dconf
error: no command specified
Usage:
dconf COMMAND [ARGS...]
Commands:
help Show this information
read Read the value of a key
list List the contents of a dir
write Change the value of a key
reset Reset the value of a key or dir
update Update the system databases
watch Watch a path for changes
dump Dump an entire subpath to stdout
load Populate a subpath from stdin
Use 'dconf help COMMAND' to get detailed help.
Approche générale
Vous devez d'abord obtenir une liste de vos gnome-terminal
profils.
$ dconf list /org/gnome/terminal/legacy/profiles:/
<profile id>
En utilisant cela, <profile id>
vous pouvez ensuite obtenir une liste de paramètres configurables
$ dconf list /org/gnome/terminal/legacy/profiles:/<profile id>
background-color
default-size-columns
use-theme-colors
use-custom-default-size
foreground-color
use-system-font
font
Vous pouvez ensuite lire les couleurs actuelles du premier plan ou de l'arrière-plan
premier plan
$ dconf read /org/gnome/terminal/legacy/profiles:/<profile id>/foreground-color
'rgb(255,255,255)'
Contexte
$ dconf read /org/gnome/terminal/legacy/profiles:/<profile id>/background-color
'rgb(0,0,0)'
Vous pouvez également changer les couleurs
premier plan
$ dconf write /org/gnome/terminal/legacy/profiles:/<profile id>/foreground-color "'rgb(255,255,255)'"
Contexte
$ dconf write /org/gnome/terminal/legacy/profiles:/<profile id>/background-color "'rgb(0,0,0)'"
Exemple
Obtenir mon identifiant de profil
$ dconf list /org/gnome/terminal/legacy/profiles:/
:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/
Utilisez l'ID de profil pour obtenir une liste des paramètres
$ dconf list /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/
background-color
default-size-columns
use-theme-colors
use-custom-default-size
foreground-color
use-system-font
font
Changez votre fond bleu
$ dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/background-color "'rgb(0,0,255)'"
Une note sur les couleurs
Vous pouvez utiliser la notation rgb(R,G,B)
lors de la spécification de vos couleurs ou la notation de hachage #RRGGBB
. Dans les deux notations, les arguments sont rouge, vert et bleu. Les valeurs de la première notation sont des entiers allant de 0 à 255 pour R, G ou B. Dans la deuxième notation, les valeurs sont en hexidécimal allant de 00 à FF pour RR, GG ou BB.
Lorsque vous fournissez l'un de ces éléments, dconf
vous devez l'envelopper correctement entre guillemets doubles avec des guillemets simples imbriqués à l'intérieur. Sinon dconf
se plaindra.
"'rgb(0,0,0)'"
"'#FFFFFF'"
- etc.
Méthode n ° 2 - Utilisation de gconftool-2
Sur mon système Ubuntu 12.04, j'ai pu changer les couleurs via la ligne de commande comme suit.
REMARQUE: Les options sont finalement stockées dans ce fichier, $HOME/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml
.
Approche générale
Vous devez d'abord obtenir l'arborescence du gnome-terminal
profil de.
$ gconftool-2 --get /apps/gnome-terminal/global/profile_list
[Default]
En utilisant l'arborescence résultante, nous pouvons découvrir quels attributs sont configurables.
$ gconftool-2 -a "/apps/gnome-terminal/profiles/Default" | grep color
bold_color_same_as_fg = true
bold_color = #000000000000
background_color = #FFFFFFFFFFFF
foreground_color = #000000000000
use_theme_colors = false
Obtenir / définir les attributs background_color
&foreground_color
$ gconftool-2 --get "/apps/gnome-terminal/profiles/Default/foreground_color"
#000000000000
$ gconftool-2 --set "/apps/gnome-terminal/profiles/Default/background_color" --type string "#000000FFFFFF"
Confirmer
$ gconftool-2 -R /apps/gnome-terminal/profiles/Default | grep color
bold_color_same_as_fg = true
bold_color = #000000000000
background_color = #000000FFFFFF
foreground_color = #000000000000
use_theme_colors = true
Les références
dconf list /org/gnome/terminal/legacy/profiles:/
exo-preferred-applications
. Les détails sont ici: askubuntu.com/questions/356842/… . Pouvez-vous le confirmer? Ce qui précède a été fait sur une installation de Fedora 19 GNOME 3.10.Debian X terminal emulator
c'était la valeur par défaut13.04
, le changer pourgnome terminal
ne fonctionnait pas non plus.sudo dconf whatever
lors de l'émission des commandesJ'ai créé quelques fonctions, basées sur le code Github d'autres threads. Vous pouvez mettre ces fonctions dans votre
~/.bashrc
fichier. Comme vous pouvez le voir, si vous appelezcreate_random_profile
:setcolord
,.Cela devrait être utile pour avoir de nombreux terminaux de couleurs différentes. De plus, avec des fonctions prédéfinies, vous pouvez modifier ces couleurs à la volée.
la source