GNU/Linux >> Linux Esercitazione >  >> Linux

Cambia il tema del terminale Gnome a livello di programmazione

Questo non fa quello che hai chiesto, ma probabilmente fa quello che vuoi.

Puoi modificare il tuo .bashrc (o un file init della shell equivalente) per impostare il prompt in base al fatto che tu stia utilizzando ssh o meno.

cioè metti qualcosa come:

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

alla fine del tuo .bashrc file sulla macchina remota. il \033[42m è un codice di escape ANSI che cambia il colore di sfondo in verde.

In questo modo, il colore di sfondo del tuo terminale sarà solo verde (o magenta, o ciano, o altro) quando sei connesso a un computer remoto.


Potresti voler controllare le opzioni di gnome-terminal:

gnome-terminal --help

 --window-with-profile=PROFILENAME

Avvolgilo in uno script di shell:

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

allora fallo

ssh-term

Se vuoi cambiare di più, esamina un termine e altri termini. Guarda anche Devilspie che può apportare modifiche più dinamiche in base a cose come il titolo della finestra (rimuovendo le decorazioni della finestra e così via).

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


Linux
  1. Modificare il tema Impish Indri di Ubuntu 21.10 - Guida passo passo?

  2. Cambia il titolo del terminale?

  3. Il terminale di Gnome è un tipo di shell non di accesso?

  4. Passa F10 all'applicazione in Gnome-terminal?

  5. Linux – Il terminale Gnome non si avvia?

Personalizza il tuo tema desktop GNOME

Come cambiare il colore del tuo terminale Linux

Cambia il tema del colore del tuo terminale Linux

Come applicare a tema GNOME Shell 3.16 (in cinque semplici passaggi)

Come modificare il tema del colore di Eclipse in Linux o Windows

Come rilevare la modifica dell'indirizzo IP a livello di codice in Linux?