Soy capaz de cambiar el prefijo del terminal con PS1="[\\W]$"
.
Sin embargo, cada vez que reinicio el terminal o abro una nueva instancia, vuelve a ser el predeterminado.
¿Cómo puedo hacer que este cambio sea permanente?
Gracias.
Este es el contenido de ~/.profile
archivo:
PS1="[\\W]\\$"
0 votos
Intente
echo 'PS1="[\\W]$"' >> $HOME/.profile
0 votos
No, eso no funciona.
1 votos
@downvotes - ¿Qué hay de malo en la pregunta?
0 votos
Que funciona. Simplemente hay que añadirlo en el
.profile
archivo.0 votos
Gracias por los mensajes jm666 pero parece que ya está ahí. Acabo de actualizar la pregunta con el contenido de mi
.profile
archivo.0 votos
¿qué shell utilizas?
echo $SHELL
oecho $0
en la terminal debería decirlo. Por cierto, ¿abrió una nueva ventana de terminal?0 votos
Este es el resultado:
echo $SHELL => /bin/bash
yecho $0 => --bash
. También he reiniciado el terminal después de introducir el comando de tu primer comentario.0 votos
gist.github.com/dcondrey/f1187c2f7f51ed8daf85
0 votos
Tenga en cuenta que
~/.profile
es el archivo de inicio de sesión del shell POSIX y sólo debe contener comandos del shell compatibles con POSIX. No debe contener comandos específicos de Bash como la configuración dePS1
. Los comandos de inicio de sesión específicos de Bash deben colocarse en la sección~/.bash_profile
.