diff --git a/.bashrc b/.bashrc index 11a5ed14a24ec1b99ad303f014fe844f93142f01..0c7c4f1a2fc3c77601a2e282e9d39b746336d6e6 100644 --- a/.bashrc +++ b/.bashrc @@ -533,7 +533,14 @@ function prompt_command DIR=$pwd POST_DIR='${MINUS_LINE:'${#pwd}+${VCS_size}+1'+${#?}}' fi - + # Est-on dans un environement virtuel ? + if [[ $VIRTUAL_ENV != "" ]] + then + VENV="(${VIRTUAL_ENV##*/})" + else + VENV='' + fi + # Génération des différents morceaux du prompt, avec ou sans la couleur if [ "$color_prompt" = yes ]; then DIR="< ${pwd_color}"$DIR"${line_color_prompt} >" @@ -546,7 +553,7 @@ function prompt_command DATE="( ${date_color}\D{%H:%M:%S}${line_color_prompt} )" # Deuxième ligne du prompt "user@host $" # Attention "\\\$" devient \$, c'est-à -dire # pour root, $ pour les autres - PROMPT="${username_color}\u${symbols_color}@${host_color}\h ${symbols_color}\\\$ ${nocolor_prompt}" + PROMPT="${username_color}\u${symbols_color}@${host_color}\h ${symbols_color}${VENV}${symbols_color}\\\$ ${nocolor_prompt}" # On fusionne tout ça PS1=$TITLE${line_color_prompt}$MINUS_CHAR$DATE$MINUS_CHAR$DIR$MINUS_CHAR${line_color_prompt}$POST_DIR$VCS_info$ERR'\n'$PROMPT else