Comment changer l'invite sous Linux?

L'invite par défaut sera

root@monu dev]#

Pouvons-nous changer la partie "root @ monu" et lui donner le nom souhaité?

bash prompt monu
la source

Réponses:

Ceci est changé en changeant la variable d'environnement PS1.

Vous pouvez voir la valeur actuelle de PS1par:

root@monu dev# echo $PS1

Vous pouvez voir la valeur égale à \u@\h \w\$, où:

\u : Nom d'utilisateur
\h : nom d'hôte
\w : répertoire de travail actuel
\$: un #symbole pour l'utilisateur root, un $symbole pour les autres utilisateurs

Si vous souhaitez que la modification soit permanente, vous devez ajouter le script modifiant la valeur de PS1in ~/.bashrc, car il est exécuté à chaque fois qu'un utilisateur se connecte.

pradeepchhetri
la source

N'oubliez pas de le mettre également dans votre fichier ~ / .bashrc. par exemple `PS1 =" myname \\ $ "'.

Keith

~ / .bashrc n'est pas exécuté chaque fois qu'un utilisateur se connecte. "Lorsqu'un shell interactif qui n'est pas un shell de connexion est démarré, bash lit et exécute les commandes de ~ / .bashrc, si ce fichier existe." - man bash / INVOCATION

manatwork

En les changeant, vous pouvez changer. ?

tshepang

Pour plus de détails, voir la PROMPTINGsection avec man bash.

Francesco Turco

Oui, mais comment exactement? Pouvez-vous donner quelques exemples?

Peter Mortensen le

Cela dépend de votre shell. Remarque importante, vous ne devez jamais utiliser le compte root comme compte personnel. Créez un utilisateur normal et configurez l'accès à sudo. Veuillez consulter votre manuel de distribution pour savoir comment procéder.

Dans zsh, vous devez définir la variable PROMPT comme suit:

PROMPT='%{ESC[38;5;24m%};%{ESC[0m%} '

zshell offre beaucoup d' autres options et c'est vraiment une invite minimale.

En bash, vous pouvez le configurer de cette façon:

local ROOK="\[\033[38;5;24m\]"
local DEFAULT="\[\033[0;39m\]"
PS1="${ROOK}\$${DEFAULT} "

Notez que dans les deux cas, j'ai un terminal compatible 256 couleurs. La page de manuel vous aidera beaucoup ( man bashou man zsh).

Sardathrion - Rétablir Monica
la source

Ici, vous avez correctement indiqué le cas du compte root , IMO - il ne doit pas être utilisé comme compte personnel (sauf sur certains systèmes embarqués à très faible encombrement).

rozcietrzewiacz