Sono in grado di modificare il prefisso del terminale con PS1="[\W]$" .
Tuttavia, ogni volta che riavvio il terminale o apro una nuova istanza, si ripristina il valore predefinito.
Come posso rendere permanente questa modifica?
Grazie!
Ecco il contenuto del file ~/.profile :
PS1="[\W]\$"
Se esistono entrambi .bash_profile e .profile, bash legge solo .bash_profile quando apre una shell di login. Quindi prova ad aggiungere la riga a .bash_profile.
La maggior parte delle personalizzazioni della shell Bash, incluso il prompt della shell PS1 , dovrebbe essere impostata in ~/.bashrc , che si applica a tutte le shell interattive.
Avrai anche bisogno di un ~/.bash_profile -che dovrebbe contenere solo gli elementi per le shell di login- e dovrebbe sorgente ~/.bashrc , ad es.
[ -r ~/.bashrc] && . ~/.bashrc
Se hai un ~/.profile , dovrebbe contenere solo comandi compatibili con POSIX e niente di specifico di Bash, il che significa che dovresti preferire usare ~/.bash_profile per i comandi di login quando hai un ~/.bashrc per il sorgente.
Leggi altre domande sui tag terminal