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
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
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
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