Commutateur GNOME Terminal Profile à partir de la ligne de commande

Question

Si je lance gnome-terminal avec plusieurs onglets ouverts, est-il possible de changer le profil d'un onglet donné à l'invite bash, avec effet immédiat, et sans modifier le profil de les autres onglets?

Je comprends comment utiliser gconftool ou gconftool-2 pour changer des éléments d'un profil (comme l'arrière-plan), mais je ne sais pas comment changer le profil pour un onglet ou une fenêtre spécifique.

Un conseil est apprécié.

Answer 1

Je pense que vous pouvez le faire via gconf-editor qui gère les paramètres pour tout dans gnome. Voir l'éditeur gconf manual et la section gnome-terminal.

A partir du terminal, vous pouvez modifier avec gconftool-2

Answer 2

je travaille sur quelque chose de semblable, je pense que cela pourrait vous aider à utiliser gnome-terminal --help qui vous montrera quelques commandes que vous pouvez utiliser pour ouvrir terminal certains profils vous aurez besoin de savoir comment écrire la ligne à l'invite à ouvrir avec les onglets et les profils que vous voulez .... une fois que vous avez le plus dur a compris que vous pouvez ajouter la ligne à votre bashrc

Exécutez sudo nano ~/.bashrc. Cela ouvrira le fichier de configuration bash, qui sera exécuté chaque fois que vous ouvrirez un terminal. Ensuite, ajoutez la ligne au bas enregistrer et fermez.

Answer 3

Ce n'est pas votre question en particulier, mais comme cela pourrait aider les autres, je la laisse ici indifféremment.

S'il existait un moyen de modifier le profil actuel, vous pourriez avoir différents profils pour chaque onglet.

Vous pouvez lister tous les profils existants à l'aide:

gconftool-2 --all-dirs /apps/gnome-terminal/profiles 

Vous pouvez obtenir le profil actuel à l'aide:

gconftool-2 --get /apps/gnome-terminal/global/default_profile 

Et vous pouvez définir un nouveau profil par défaut (solarized-light dans ce cas) en utilisant:

gconftool-2 --set --type string /apps/gnome-terminal/global/default_profile solarized-light