Merge branch 'master' into perso

diff --combined .bashrc
index 4012b4bf00fa45dd22a2573f44f016beac40ed17,8d6f54837534bc079543aa5f0fd350322e5375f4..8e4b7eb3a54da562933f52028d8789fb9fcb377e
--- 1/.bashrc
--- 2/.bashrc
+++ b/.bashrc
@@@ -184,9 -184,9 +184,9 @@@ function prompt_comman
      local pwd ERR DATE PROMPT DIR POST_DIR
      (( SAVE_COLUMNS == COLUMNS )) || gen_minus_line
  
 -    #~# # À décommenter si on veut des infos
 -    #~# # quand on se trouve dans un dépôt versionné
 -    #~# get_vcs_info
 +    # À décommenter si on veut des infos
 +    # quand on se trouve dans un dépôt versionné
 +    get_vcs_info
      
      pwd=${PWD/#$HOME/'~'}
      if (( ${#pwd} + ${VCS_size} + 27 > COLUMNS )); then
@@@ -233,29 -233,29 +233,28 @@@ PROMPT_COMMAND=prompt_comman
  # | Messages au début |
  # +-------------------+
  
- if [[ $(uname) == Linux && ( $(locale charmap) == UTF-8 && $TERM != screen ) ]]; then
-     MINUS_CHAR=─
-     gen_minus_line
-     date=$(/bin/date +"%R, %A %d %B %Y")
-     redate=${date//é/e}
-     redate=${redate//û/u}
-     if [ "$color_prompt" = yes ]; then
-         echo -e "${line_color}┬─${redate//?/─}─┬${MINUS_LINE:${#date}-18}\n\
- │ ${announce_date_color}$date ${line_color}│\n\
- └─${redate//?/─}─┘\e[0m\n"
+ function welcome_message ()
+ {
+     if [[ $(uname) == Linux && ( $(locale charmap) == UTF-8 && $TERM != screen ) ]]; then
+         MINUS_CHAR=─
+         gen_minus_line
+         date=$(/bin/date +"%R, %A %d %B %Y")
+         redate=${date//é/e}
+         redate=${redate//û/u}
+         if [ "$color_prompt" = yes ]; then
+             echo -e "${line_color}┬─${redate//?/─}─┬${MINUS_LINE:${#date}-19}\n│ ${announce_date_color}$date ${line_color}│\n└─${redate//?/─}─┘\e[0m\n"
+         else
+             echo -e "┬─${redate//?/─}──┬${MINUS_LINE:${#date}-18}\n│ $date  │\n└─${redate//?/─}──┘\n"
+         fi
+         unset date
      else
-         echo -e "┬─${redate//?/─}──┬${MINUS_LINE:${#date}-18}\n\
- │ $date  │\n\
- └─${redate//?/─}──┘\n"
+         MINUS_CHAR=-
+         gen_minus_line
      fi
-     unset date
- else
-     MINUS_CHAR=-
-     gen_minus_line
- fi
+ }
  ### ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ###
  ### Attention à ce que vous avez édité dans cette section ###
  
 -
  # +---------------------------------------+
  # | Gestion de l'historique des commandes |
  # +---------------------------------------+
@@@ -265,10 -265,10 +264,10 @@@
  export HISTCONTROL=ignoreboth
  
  # Nombre de lignes d'historique à garder
 -export HISTSIZE=5000
 +export HISTSIZE=
  
  # la même chose dans le fichier d'historique
 -export HISTFILESIZE=5000
 +export HISTFILESIZE=
  
  # Mémoriser le timestamp d'exécution de la commande
  export HISTTIMEFORMAT='%F %T - '
@@@ -286,7 -286,7 +285,7 @@@ shopt -s histappen
  
  # Pour éviter un troll, aucune ligne de cette section n'est décommentée.
  # Choisissez la vôtre.
 -#~# export EDITOR='/usr/bin/nano'
 +export EDITOR='/usr/bin/nano'
  #~# export EDITOR='/usr/bin/vim'
  #~# export EDITOR='/usr/bin/emacs'
  #~# export EDITOR='/usr/bin/jed'
@@@ -306,3 -306,6 +305,6 @@@ if [ -f ~/.bash_aliases_local ]; the
      . ~/.bash_aliases_local
  fi
  
+ # On n'exécute le welcome_message que à ce moment, parce que la customisation
+ # local a pu changer des couleurs
+ welcome_message