From 46ac6b2c967768aafe50a5446aab2241ddbcff69 Mon Sep 17 00:00:00 2001 From: hugues Date: Sun, 20 Aug 2006 19:50:12 +0000 Subject: Grand ménage dans la conf Zsh MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: svn+ssh://hugues@maison/opt/svn/private/hugues@255 a0e5b806-a6f9-0310-978d-cbce73f8a913 --- 25_Prompts.zsh | 30 ++++++++++++++++-------------- 1 file changed, 16 insertions(+), 14 deletions(-) (limited to '25_Prompts.zsh') diff --git a/25_Prompts.zsh b/25_Prompts.zsh index c2ba379..404db7f 100644 --- a/25_Prompts.zsh +++ b/25_Prompts.zsh @@ -9,14 +9,6 @@ ## these files with or without this notice. ## -## Prompts -# -# Pour plus d'infos sur les paramètres d'expansion du prompt: -# man zshmisc(1) -# -# La définition des prompts est séparée de celles desvariables d'environnement -# classiques pour permettre de configurer, par exemple, les couleurs par défaut -# dans ces fichiers. # Pour personnaliser les couleurs du prompt, configurez ces variables : # - PS1_ROOT pour la couleur du prompt ROOT # - PS1_USER pour la couleur du prompt USER local @@ -31,17 +23,27 @@ ## Couleur par défaut pour le prompt ROOT (c'est super pour sudo, ça...) PS1_ROOT=${PS1_ROOT:-31} -if ( [ "$SSH_TTY" = "" ] ) + +# Couleur par défaut pour les utilisateurs normaux (moi, quoi) +PS1_USER=${PS1_USER:-34} + +if ( [ "$SSH_TTY" != "" ] ) then - # Couleur par défaut pour les utilisateurs normaux (moi, quoi) - PS1_USER=${PS1_USER:-34} -else # Couleur par défaut pour les utilisateurs normaux loggués via SSH # Ça permet de faire une distinction rapide entre les shells locaux # et les shells distants. C'est trop bon, mangez-en ! - PS1_USER=${PS1_USER_SSH:-35} + PS1_USER=${PS1_USER_SSH:-$PS1_USER} fi +## Prompts +# +# Pour plus d'infos sur les paramètres d'expansion du prompt: +# man zshmisc(1) +# +# La définition des prompts est séparée de celles desvariables d'environnement +# classiques pour permettre de configurer, par exemple, les couleurs par défaut +# dans ces fichiers. + ## Le prompt le plus magnifique du monde, et c'est le mien ! # Affiche l'user, l'host, le tty et le pwd. Rien que ça... # Note que pour le pwd, on n'affiche que les 4 derniers dossiers pour éviter @@ -58,7 +60,7 @@ PS3="?# " PS4="+%N:%i> " # Prompt de droite, pour l'heure et le code d'erreur de la dernière commande -RPS1="%(?;;%{%}%?%{%}) %{[0;%(!."$PS1_ROOT"."$PS1_USER")m%}%D{%a%d%b|%H:%M\'%S}%{%}" +RPS1="%(?;;%{["$PS1_USER"m%}%?%{%}) %{[0;%(!."$PS1_ROOT"."$PS1_USER")m%}%D{%a%d%b|%H:%M\'%S}%{%}" # Ultime : prompt de correction :-) SPROMPT="zsh: %{%}%B«%R»%b%{%} ? Vous ne vouliez pas plutôt %{%}%B«%r»%b%{%} ? [%BN%byae] " -- cgit v1.2.3