GNU/Linux >> Tutoriales Linux >  >> Linux

Cambiar el tema de la terminal de Gnome mediante programación

Esto no hace lo que pediste, pero probablemente haga lo que quieres.

Puedes modificar tu .bashrc (o un archivo de inicio de shell equivalente) para configurar su aviso en función de si está usando ssh o no.

es decir, poner algo como:

if [ -n $SSH_TTY ]; then
     export PS1=`echo -en '\033[42m\w\$ '`;
fi;

al final de tu .bashrc archivo en la máquina remota. el \033[42m es un código de escape ANSI que cambia el color de fondo a verde.

De esta forma, el color de fondo de tu terminal será verde (o magenta, o cian, o lo que sea) solo cuando está conectado a una máquina remota.


Es posible que desee comprobar las opciones de gnome-terminal:

gnome-terminal --help

da

 --window-with-profile=PROFILENAME

Envuelva esto en un script de shell:

#!/bin/bash
gnome-terminal --window-with-profile=PROFILENAME

entonces haz

ssh-term

Si desea cambiar más, consulte un término y otros términos. También mire Devilspie, que puede hacer cambios más dinámicos basados ​​en cosas como el título de la ventana (quitar las decoraciones de la ventana, etc.).

http://burtonini.com/blog/computers/devilspie


Linux
  1. Cómo cambiar el color de tu terminal Linux

  2. Cambiar el tema Impish Indri de Ubuntu 21.10 - ¿Guía paso a paso?

  3. gnome-terminal:comando no encontrado

  4. Cambiar el tamaño de fuente de la terminal con C++

  5. ¿Guardar múltiples diseños de terminales de gnomos?

Personaliza tu tema de escritorio GNOME

Cambia el tema de color de tu terminal de Linux

Cómo tematizar GNOME Shell 3.16 (en cinco sencillos pasos)

Cómo cambiar el tema de color de Eclipse en Linux o Windows

Cómo cambiar el tema GTK, Icon o GNOME Shell en GNOME

¿Cómo detectar el cambio de dirección IP mediante programación en Linux?