☰

¿Es posible aplicar diferentes colores a las pestañas del terminal en GNOME según el directorio abierto?

tag-icon • tag-icon gnome-terminal colors
¿Es posible aplicar diferentes colores a las pestañas del terminal en GNOME según el directorio abierto?

¿Es posible aplicar diferentes colores a las pestañas del terminal en GNOME según el directorio abierto?

p.ej

tener fondo rojo para la pestaña cuando está abierta en:

/path/one/*

y el verde cuando la pestaña está en:

/path/two/*

Respuesta1

Sí, lo es, si estás dispuesto a subvertir lo cdincorporado.

Aquí (de mi ~/.bashrc) es cómo pongo mi nombre de usuario, host y directorio actual en el título de mi ventana:

# from the "xttitle(1)" man page - put info in window title
update_title()
{
    [[ $TERM = xterm ]] || [[ $TERM = xterm-color ]]  && xttitle "[$$] ${USER}@${HOSTNAME}:$PWD"
}

cd()
{
    [[ -z "$*" ]] && builtin cd $HOME
    [[ -n "$*" ]] && builtin cd "$*"
    update_title
}

Reemplace la update_titlefunción con una propia para ver el directorio actual y hacer lo correcto.

información relacionada