Cambié mi nombre de host editando / etc / hostname y puedo ver el nuevo nombre de host usando los comandos hostnamey 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 .bashrcque 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/hostnamecontiene el nuevo nombre de host.
echo $PS1muestra?