Cambiar perfil de terminal GNOME desde la línea de comando

Question

Si estoy ejecutando gnome-terminal con varias pestañas abiertas, ¿es posible cambiar el perfil de una pestaña determinada en el indicador bash, con efecto instantáneo y sin alterar el perfil de las otras pestañas?

Entiendo cómo usar gconftool o gconftool-2 para cambiar los elementos de un perfil (como el fondo), pero no sé cómo cambiar realmente el perfil de una pestaña o ventana específica.

Cualquier consejo es apreciado.

Answer 1

Creo que puede hacer esto a través de gconf-editor que mantiene la configuración de todo en gnome. Consulte gconf-editor manual y sección en gnome-terminal.

Desde el terminal, puede hacer cambios con gconftool-2

Answer 2

que estoy trabajando en algo similar, creo que podría ayudarle a utilizar gnome-terminal --help que le mostrará algunos comandos que puede utilizar para abrir terminal con ciertos perfiles que tendrá que encontrar la manera de escribir la línea en el indicador de abrir con las fichas y los perfiles que desea .... una vez que tenga la parte difícil descubierto puede agregar la línea a su bashrc

Ejecute sudo nano ~/.bashrc. Esto abrirá el archivo de configuración de bash, que se ejecutará cada vez que abra un terminal. A continuación, agregue la línea al fondo guardar y cerrar.

Answer 3

No es su pregunta en particular, pero como podría ayudar a otros, la dejo aquí independientemente.

Si había una manera de cambiar el perfil actual, podría tener diferentes perfiles para cada pestaña.

Puede enumerar todos los perfiles existentes usando:

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

Usted puede obtener el perfil actual usando:

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

Y se puede establecer un nuevo perfil predeterminado (solarized-light en este caso) usando:

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