Cambiare il prompt del terminale

Michele Mordenti

Una cosa nata per gioco e che poi si è dimostrata meno semplice del previsto. Colpa mia, certo. Adesso vi conto.

Domanda: si può cambiare al volo e ripetutamente il prompt del terminale?
Risposta non tanto corretta, anzi per nulla: certo, basta ridefinire la variabile d’ambiente PS1.

Ma non è vero. Cioè non funziona come vorrei. Esempio:

Il prompt $ era quello normale di Unix, roba dello scorso millennio.

Quindi dall’esempio sembra funzionare… nope!

Visto? il titolo del terminale resta sempre lo stesso, la path di quando si è cambiato il prompt.

In questi casi io ricorro a Stack Overflow ma questa volta non ha funzionato. Forse colpa mia, ma forse (io ne sono convinto) no.

Quando il gioco si fa duro … (inizio cit.) e questo è un pochino uno di quei casi.

La soluzione è semplice (quasi): vedere cosa fa ~/.bashrc. Ah! prima setta il prompt e poi il titolo della finestra, sempre modificando PS1. Non riporto le righe di ~/.bashrc perché le avevo già pasticciate e cercarle nel backup non ne sono capace (OK, a volte dico bugie, a fin di bene però) ma un po’ per tentativi sono arrivato a due aliases, _ps per il prompt (e titolo) standard e _pu per la versione Unix.

Uh! forse è il caso di scriverle:

alias _ps='export PS1="\[\e]0;\w\a\]* \[\033[01;31m\]\W\[\033[00m\] \$ "'
alias _pu='export PS1="\[\e]0;\w\a\]\[\033[01;31m\]\$ \[\033[00m\]"'

Quando un alias funziona si può memorizzare, di solito in ~/.bash_aliases, nel caso questo non esista si possono aggiungere in fondo a ~/.bashrc.

Da provare:

e, di seguito

OK. Con _ps torno alla versione normale (per me, taroccata anni fa e immessa in ~/.bashrc nella personalizzazione di ogni nuova versione.

e

OK, ma se chiudo il terminale e ne apro uno nuovo torno alle condizioni specificate in ~/.bashrc. Se c’è un modo per rendere permanente PS1 per la sessione non lo conosco. Ma in fondo  non è matura  who cares 😉

Ah! ‘ncora una cosa: il colore. Ne avevo parlato quando ero (più) giovane, qui dove trovate l’indicazione vera, questa.

Aggiornamento: qui un post esaustivo sui colori nel terminale 😋

👽

Posta un commento o usa questo indirizzo per il trackback.

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo di WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione /  Modifica )

Google photo

Stai commentando usando il tuo account Google. Chiudi sessione /  Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione /  Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione /  Modifica )

Connessione a %s...

Questo sito utilizza Akismet per ridurre lo spam. Scopri come vengono elaborati i dati derivati dai commenti.

%d blogger hanno fatto clic su Mi Piace per questo: