Comment utiliser un nom d'hôte personnalisé dans l'invite du shell

Typiquement, l’invite du shell Linux ressemble à ceci

user@hostname$

Si vous voulez utiliser une chaîne personnalisée au lieu de hostname, éditez /etc/bash.bashrc : et trouvez la ligne suivante :

  PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '

Maintenant, remplacez \h (c’est-à-dire le nom d’hôte) par votre chaîne personnalisée. Par exemple, si vous voulez utiliser mycustomhostname au lieu du nom d’hôte réel, la ligne devrait ressembler à ceci :

  PS1='${debian_chroot:+($debian_chroot)}\u@mycustomhostname:\w\$ '

Cela peut encore ne pas le remplacer pour les utilisateurs individuels. Si c’est le cas, vous pouvez éditer la ligne PS1= dans ~/.bashrc :

  PS1='${debian_chroot:+($debian_chroot)}\u@mycustomhostname:\w\$ '

Typiquement, dans ~/.bashrc, il y a deux lignes PS1= différentes, une pour la sortie colorée et une pour la sortie non colorée.

Remplacez \h dans les deux.

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

Une fois remplacé par mycustomhostname, cela devrait ressembler à ceci :

if [ "$color_prompt" = yes ]; then
  PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@mycustomhostname\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '
else
  PS1='${debian_chroot:+($debian_chroot)}\u@mycustomhostname:\w\$ '
fi