J'ai changé mon nom d'hôte en modifiant / etc / hostname et je peux voir le nouveau nom d'hôte à l'aide des commandes hostname
et hostname -F
.
Mais l'invite du shell affiche toujours l'ancien nom d'hôte.
C'est d'ailleurs Ubuntu 11.0.4. L'invite est définie dans mon .bashrc
que je n'ai pas modifié. La déconnexion et même le redémarrage n'a aucun effet.
Section pertinente de l'Ubuntu standard .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 n'est pas défini lors de ma connexion ...)
Je suppose que le nom d'hôte est repris par le caractère spécial \ h.
Voici le paramètre PS1 tel que rapporté dans le shell:
PS1='\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
Et voici ce que montre la PS1:
username@oldhostname:~$
J'ai répété le processus en utilisant la commande exacte dans la réponse de Warren. Il s'avère que le nom d'hôte fonctionne jusqu'au redémarrage, mais il est ensuite perdu, même s'il /etc/hostname
contient le nouveau nom d'hôte.
echo $PS1
montre-t-on?