Vorrei ripristinare il nome precedente (predefinito) nel mio terminale. Come lo posso fare?
Ho cambiato il segno $ solo applicando questo codice:
echo "export PS1='$ '" >> ~/.bash_profile
. ~/.bash_profile
ma non è riuscito a ripristinarlo.
Vorrei ripristinare il nome precedente (predefinito) nel mio terminale. Come lo posso fare?
Ho cambiato il segno $ solo applicando questo codice:
echo "export PS1='$ '" >> ~/.bash_profile
. ~/.bash_profile
ma non è riuscito a ripristinarlo.
Basta inserire
nano ~/.bash_profile
quindi vai alla riga
export PS1='$ '
ed elimina quella linea. Quindi salva il file ed esci da nano. Dopo, esegui
. ~/.bash_profile
Questo caricherà le impostazioni da questo file.
Rimuovi semplicemente la linea che hai aggiunto al tuo ~ / .bash_profile e riavvia la shell.