Cambié mi nombre de host editando / etc / hostname y puedo ver el nuevo nombre de host usando los comandos hostname
y hostname -F
.
Pero el indicador de shell aún muestra el antiguo nombre de host.
Esto es Ubuntu 11.0.4 por cierto. El indicador se establece en mi .bashrc
que no he editado. Cerrar sesión e incluso reiniciar no tiene ningún efecto.
Sección relevante del Ubuntu estándar .bashrc
:
if [ "$color_prompt" = yes ]; then
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '
else
PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
fi
($ debian_chroot no está configurado cuando inicio sesión ...)
Supongo que el nombre de host lo recoge el carácter especial \ h.
Aquí está la configuración de PS1 como se informa en el shell:
PS1='\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
Y esto es lo que muestra PS1:
username@oldhostname:~$
Repetí el proceso usando el comando exacto en la respuesta de Warren. Resulta que el nombre de host funciona hasta que se reinicia, pero luego se pierde, aunque /etc/hostname
contiene el nuevo nombre de host.
echo $PS1
muestra?