Gnome terminal, profiilit

[Mistofelees]

Onko jotain tapaa, jolla terminaalin saisi vaihtamaan automaagisesti profiilia sen mukaan, mihin koneeseen ollaan yhteydessä. Vaikkapa IP:n perusteella.
Muistan nähneeni joskus terminaali-ohjelman, joka tunnisti yhteyden ja kirjasi yläpalkiin IP:n

Tuli taas kerran kirjoitettu väärän koneen confiin.

[SuperOscar]

Varsinaiseen kysymykseesi en tiedä vastausta, mutta IP:n tai muuta tietoahan saa otsikkoriville myös komentotulkin keinoin.

Esimerkiksi Zsh:ssa (jota itse käytän) voi luoda precmd-nimisen funktion, jonka sisällöksi voisi kokeilla:

Koodia: [Valitse]

[[ -t 1 ]] && print -Pn "\e]2;$(hostname -I)\a"

Bashissa lienee vastaava järjestelmä.