bashrc

   1 # -*-Shell-script-*-
   2
   3 #########################################################################
   4 # This program is free software: you can redistribute it and/or modify  #
   5 # it under the terms of the version 3 of the GNU General Public License #
   6 # as published by the Free Software Foundation.                         #
   7 #                                                                       #
   8 # This program is distributed in the hope that it will be useful, but   #
   9 # WITHOUT ANY WARRANTY; without even the implied warranty of            #
  10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU      #
  11 # General Public License for more details.                              #
  12 #                                                                       #
  13 # You should have received a copy of the GNU General Public License     #
  14 # along with this program. If not, see <http://www.gnu.org/licenses/>.  #
  15 #                                                                       #
  16 # Written by and Copyright (C) Francois Fleuret                         #
  17 # Contact <francois@fleuret.org> for comments & bug reports             #
  18 #########################################################################
  19
  20 # The site-specific and confidential settings are in another file
  21
  22 PRIVATE_BASHRC="${HOME}/private/bashrc.perso"
  23
  24 # If the MANPATH is not set, set it
  25
  26 [ "${MANPATH}" ] || MANPATH=$(manpath)
  27
  28 # If the private bashrc exists, execute it
  29
  30 [ -f "${PRIVATE_BASHRC}" ] && source "${PRIVATE_BASHRC}"
  31
  32 # !!! THIS HAS TO BE HERE EVEN IN THE NON-INTERACTIVE PART OR YOU WILL
  33 # LOSE YOU PREVIOUS HISTORY !!!
  34
  35 export HISTFILESIZE=20000
  36 export HISTSIZE=${HISTFILESIZE}
  37
  38 export HISTIGNORE="${HISTIGNORE}:&:[ ]*"
  39
  40 # I want to save the command time, but I do not want to see it in
  41 # history
  42
  43 export HISTTIMEFORMAT=""
  44
  45 shopt -s histappend
  46
  47 # I realized that most of my settings are meaningful only in
  48 # interactive mode. This should maybe be done more properly through
  49 # using different .bash_profile and .bash_login
  50
  51 [[ ${TERM} == "dumb" ]] || [ ! -t 0 ] && return
  52
  53 ######################################################################
  54 ## The interactive part
  55
  56 export VT_RESET=$'\033[0m'
  57 export VT_BOLD=$'\033[1m'
  58 export VT_UNDERLINE=$'\033[4m'
  59 export VT_BLINK=$'\033[5m'
  60
  61 export VT_SET_TITLE=$'\033]0;'
  62 export VT_END_TITLE=$'\007'
  63
  64 export VT_BLACK_FG=$'\033[30m'
  65 export VT_RED_FG=$'\033[31m'
  66 export VT_GREEN_FG=$'\033[32m'
  67 export VT_YELLOW_FG=$'\033[33m'
  68 export VT_BLUE_FG=$'\033[34m'
  69 export VT_MAGENTA_FG=$'\033[35m'
  70 export VT_CYAN_FG=$'\033[36m'
  71 export VT_WHITE_FG=$'\033[37m'
  72
  73 export VT_BLACK_BG=$'\033[40m'
  74 export VT_RED_BG=$'\033[41m'
  75 export VT_GREEN_BG=$'\033[42m'
  76 export VT_YELLOW_BG=$'\033[43m'
  77 export VT_BLUE_BG=$'\033[44m'
  78 export VT_MAGENTA_BG=$'\033[45m'
  79 export VT_CYAN_BG=$'\033[46m'
  80 export VT_WHITE_BG=$'\033[47m'
  81
  82 # This prevents ^S from freezing the shell
  83
  84 stty -ixon
  85
  86 alias rm='rm -i'
  87 alias mv='mv -i'
  88 # alias chmod='chmod -v'
  89 alias chmod='chmod -c'
  90 alias cp='cp -i'
  91 alias rd=rmdir
  92 alias md=mkdir
  93 alias ps='ps uxaf'
  94 alias df='df -hT --sync'
  95 alias grep='grep -E --mmap'
  96
  97 alias s='screen -d -R -U && clear'
  98 alias mc='echo Try mv ' # I'm fed up with midnight commander
  99 alias kj="keyjnote -s -D 1000 -t Crossfade -T 100"
 100
 101 # alias fdupes='fdupes -r .'
 102
 103 # ls colors
 104
 105 if [ -e "${HOME}/.dircolors" ]; then
 106     eval $(dircolors "${HOME}/.dircolors")
 107     alias ls='ls --color'
 108     # alias ll='ls --color -lth'
 109     alias ll='ls --color -goh --time-style="+%Y %b %d %H:%M"'
 110     alias l='ls --color -I "*~" -I "*.o"'
 111     alias less='less -R'
 112 else
 113     # alias ll='ls -lth'
 114     alias ll='ls -goh --time-style="+%Y %b %d %H:%M"'
 115     alias l='ls -I "*~" -I "*.o"'
 116 fi
 117
 118 export EDITOR=emacsclient
 119 export GIT_EDITOR=${EDITOR}
 120
 121 ######################################################################
 122 # Ignored extensions when completing
 123
 124 export FIGNORE="CVS"
 125
 126 ######################################################################
 127 # Functions
 128
 129 # Find a file containing a name
 130
 131 function fn () {
 132     name=$1
 133     shift
 134     find $* -name "*${name}*";
 135 }
 136
 137 # Create a dir and cd there
 138
 139 function mcd () {
 140     mkdir -p $1
 141     cd $1
 142 }
 143
 144 alias trash=trash.sh
 145
 146 ######################################################################
 147 # http://www.reddit.com/r/linux/comments/akt3j/a_functional_programming_style_map_function_for/
 148
 149 function map () {
 150     local command i rep
 151     if [ $# -lt 2 ] || [[ ! "$@" =~ :[[:space:]] ]];then
 152         echo "Invalid syntax." >&2; return 1
 153     fi
 154     until [[ $1 =~ : ]]; do
 155         command="$command $1"; shift
 156     done
 157     command="$command ${1%:}"; shift
 158     for i in "$@"; do
 159         if [[ $command =~ \{\} ]];then
 160             rep="${command//\{\}/\"$i\"}"
 161             eval "${rep//\\/\\\\}"
 162         else
 163             eval "${command//\\/\\\\} \"${i//\\/\\\\}\""
 164         fi
 165     done
 166 }
 167
 168 ######################################################################
 169 ## A version of pho which stores the image numbers in environment
 170 ## variables
 171
 172 function pho () {
 173     PHO_BIN=/usr/bin/pho
 174     TEMP=$(mktemp /tmp/pho.XXXXXXX)
 175     ${PHO_BIN} $* | tee ${TEMP}
 176     PHO_NOTE_1=$(grep ^"Note 1: " ${TEMP} | sed -e "s/^[^:]*: //")
 177     PHO_NOTE_2=$(grep ^"Note 2: " ${TEMP} | sed -e "s/^[^:]*: //")
 178     PHO_NOTE_3=$(grep ^"Note 3: " ${TEMP} | sed -e "s/^[^:]*: //")
 179     PHO_NOTE_R90=$(grep ^"Rotate 90 \(CW\): " ${TEMP} | sed -e "s/^[^:]*: //")
 180     PHO_NOTE_R180=$(grep ^"Rotate 180: " ${TEMP} | sed -e "s/^[^:]*: //")
 181     PHO_NOTE_R270=$(grep ^"Rotate -90 \(CCW\): " ${TEMP} | sed -e "s/^[^:]*: //")
 182     \rm ${TEMP}
 183 }
 184
 185 # function rotjpeg () {
 186     # if [ $1 == "90" ] || [ $1 == "180" ] || [ $1 == "270" ]; then
 187         # TEMP=$(mktemp /tmp/rotjpeg.XXXXXX)
 188         # echo jpegtran -rotate $1 -copy all $2 > ${TEMP}
 189         # echo cp $2 ${2/jpg/}original.jpg
 190         # echo cp ${TEMP} $2
 191         # rm ${TEMP}
 192     # else
 193         # echo "Can not rotate with an angle of $1 degrees."
 194     # fi
 195 # }
 196
 197 ######################################################################
 198 ## A version of date that shows the time at home if TZ is set
 199
 200 function dt () {
 201     echo "Local: $(date)"
 202     if [[ ${TZ} ]]; then
 203         unset TZ
 204         echo "Home:  $(date)"
 205     fi
 206 }
 207
 208 ######################################################################
 209 ## ifup / ifdown with sudo and memorization of the network
 210
 211 ## When invoked without an argument this "ifup" uses the same argument
 212 ## as the previous time
 213
 214 ## When invoked without an argument this "ifdown" removes the last
 215 ## interface which was ifuped
 216
 217 [[ ${IFUPRC} ]] || IFUPRC="${HOME}/.ifuprc"
 218
 219 function ifup () {
 220     echo "${VT_BOLD}${VT_GREEN_FG}This is the bash function ifup from .bashrc${VT_RESET}"
 221     if [[ ! $* ]] && [[ -s ${IFUPRC} ]]; then
 222         # If we have no argument and there is a .ifuprc, use it
 223         ARGS=$(cat ${IFUPRC})
 224     else
 225         # Otherwise uses the given arguments, and store them
 226         ARGS=$*
 227         echo ${ARGS} > ${IFUPRC}
 228     fi
 229     echo "${VT_GREEN_FG}Running [sudo ifup ${ARGS}]${VT_RESET}"
 230     sudo ifup ${ARGS}
 231
 232     # Ugly hack to remove the dsl modem dns server when we add
 233     # explicitely a dns in the /etc/network/interfaces
 234
 235     REMOVE_LOCAL_DNS=/usr/local/bin/remove-local-dns.sh
 236
 237     if [[ -x ${REMOVE_LOCAL_DNS} ]]; then
 238         echo "${VT_GREEN_FG}Running [sudo ${REMOVE_LOCAL_DNS} 192.168]${VT_RESET}"
 239         sudo ${REMOVE_LOCAL_DNS} 192.168
 240     fi
 241 }
 242
 243 function ifdown () {
 244     echo "${VT_BOLD}${VT_GREEN_FG}This is the bash function ifdown from .bashrc${VT_RESET}"
 245     if [[ ! $* ]] && [[ -s ${IFUPRC} ]]; then
 246         # If there are no arguments and there is a .ifuprc, get the
 247         # interface from it
 248         ARGS=$(cat ${IFUPRC} | sed -e "s/=.*$//")
 249     else
 250         # Otherwise, use the standard ifdown
 251         ARGS=$*
 252     fi
 253     echo "${VT_GREEN_FG}Running sudo [ifdown ${ARGS}]${VT_RESET}"
 254     sudo ifdown ${ARGS}
 255 }
 256
 257 function checkgw () {
 258     ping $(route -n | grep ^0.0.0.0 | awk '{print $2}')
 259 }
 260
 261 ######################################################################
 262 # Show the most recent files, no scroll
 263
 264 function lr () {
 265     HEIGHT=$(stty size | awk '{print $1}')
 266     WIDTH=$(stty size | awk '{print $2}')
 267     \ls -goth  --time-style="+%Y %b %d %H:%M" $* | head -$((HEIGHT-2)) | cut -b1-${WIDTH}
 268     # \ls -lth $* | head -$((HEIGHT-2)) | cut -b1-${WIDTH}
 269 }
 270
 271 ######################################################################
 272 # cd and ls into a directory
 273 # [from http://www.oreillynet.com/onlamp/blog/2007/01/whats_in_your_bash_history.html]
 274
 275 # function c () { cd "$@" && lr; }
 276
 277 ######################################################################
 278 # You can change the xterm background color on the fly!
 279
 280 function setxtermbg () {
 281     echo -n $'\033]11;'$1$'\007'
 282 }
 283
 284 ######################################################################
 285 # Shuffle the lines from the stdin
 286
 287 function shuffle () {
 288     SEED=$1
 289     [[ $SEED ]] || SEED=0
 290     awk 'BEGIN{srand('${SEED}')} { print rand()" "$0 }' | sort -g | sed -e "s/^[0-9\.e\-]* //"
 291 }
 292
 293 ######################################################################
 294 # Stores the last entered command into a file
 295
 296 KEPT_COMMANDS=${HOME}/.kept_bash_commands
 297
 298 function keep () {
 299     if [[ ${KEPT_COMMANDS} ]]; then
 300         LINE=$(history | tail -2 | head -1 | sed -e "s/^[0-9 ]*//")
 301         echo $LINE
 302         echo $(date)": "${LINE} >> ${KEPT_COMMANDS}
 303     else
 304         echo "You have to set \$KEPT_COMMANDS"
 305     fi
 306 }
 307
 308 ######################################################################
 309 # I sometime burn CDs and DVDs
 310
 311 function burn () {
 312     set -e
 313     DEVICE="/dev/cdrw"
 314     if [[ ! $1 ]]; then
 315         echo "burn <iso name | dirname>" >&2
 316     elif [[ -f $1 ]]; then
 317         if [[ $(file $1 | grep "ISO 9660") ]]; then
 318             wodim -eject -v dev=${DEVICE} $1
 319         else
 320             echo "Unknown type of $1" >&2
 321         fi
 322     elif [[ -d $1 ]]; then
 323         TMP=$(mktemp /tmp/cdimage.XXXXXX) && \
 324             genisoimage -input-charset iso8859-1 -r -o ${TMP} $1 && \
 325             wodim -eject -v dev=${DEVICE} ${TMP}
 326         rm -f ${TMP}
 327     else
 328         echo "Can not find $1" >&2
 329     fi
 330 }
 331
 332 ######################################################################
 333 # And watch DVDs too!
 334
 335 function dvd () {
 336
 337     echo
 338     echo " ! and @   Seek to the beginning of the previous/next chapter"
 339     echo " j         Cycle through the available subtitles"
 340     echo " o         Show/hide the timing"
 341     echo
 342
 343     if [[ $1 ]]; then
 344         dvd_device="$1"
 345         shift
 346     else
 347         dvd_device="/dev/cdrom"
 348     fi
 349
 350     title="1"
 351
 352     if [[ $1 ]]; then
 353         title=$1
 354         shift
 355     fi
 356
 357     mplayer > /dev/null \
 358         -stop-xscreensaver \
 359         -vc ffmpeg12 -quiet \
 360         -vf yadif \
 361         -alang en \
 362         -dvd-device ${dvd_device} dvd://${title}
 363
 364 # -slang en
 365
 366 }
 367
 368 function ripdvd () {
 369     mkdir -p ${HOME}/dvds
 370     cd ${HOME}/dvds
 371     dvdbackup -v -M
 372     eject
 373 }
 374
 375 ######################################################################
 376 # Upload the sources from the current directory to work
 377
 378 function ulsrc () {
 379     if [[ ! "${MY_WORK_MACHINE}" ]]; then
 380         echo "\$MY_WORK_MACHINE undefined" 1>&2
 381         return 1
 382     fi
 383
 384     DIR=${PWD/$HOME\//}
 385
 386     scp {Makefile,*.{cc,h,sh}} ${MY_WORK_MACHINE}:${DIR}
 387
 388     echo "Uploaded to ${MY_WORK_MACHINE}:${DIR}/"
 389 }
 390
 391 ######################################################################
 392 # Create small images from images
 393
 394 function mksmall () {
 395
 396     PARAMS="-geometry 800x600"
 397
 398     # Auto-orient does not seem to work at all, hence the ugly hack
 399     # with exif below
 400
 401     # PARAMS="-auto-orient -geometry 800x600"
 402
 403     echo "Using ${PARAMS}"
 404
 405     DEST_DIR=$1
 406
 407     [[ ${DEST_DIR} ]] || DEST_DIR=./small
 408
 409     mkdir -p ${DEST_DIR}
 410
 411     if [[ ! -d ${DEST_DIR} ]]; then
 412         echo "Can not create ${DEST_DIR}" >&2
 413         return
 414     fi
 415
 416     NB_TOTAL=$(find -maxdepth 1 -type f | wc -l)
 417     NB=0
 418
 419     for i in $(find -maxdepth 1 -type f); do
 420         if [[ -e ${DEST_DIR}/$i ]]; then
 421             echo "The file ${DEST_DIR}/$i already exists."
 422         else
 423
 424             orientation=$(exif $i \
 425                 | grep ^Orientation \
 426                 | head -1 \
 427                 | sed -e "s/^[^|]*|//" \
 428                 | sed -e "s/ *$//")
 429
 430             case ${orientation} in
 431                 "top - left")
 432                     rotation_cmd=""
 433                     ;;
 434
 435                 "right - top")
 436                     rotation_cmd="-rotate 90"
 437                     ;;
 438
 439                 "left - bottom")
 440                     rotation_cmd="-rotate 270"
 441                     ;;
 442
 443                 *)
 444                     rotation_cmd=""
 445                     echo "Unknown orientation \"${orientation}\" !"
 446                     ;;
 447             esac
 448
 449             if [[ -f ${i/JPG/MOV} ]]; then
 450                 CAPTION_PARAMS="-font vera-sans -pointsize 24 -fill white -annotate +10+32 Video"
 451             else
 452                 CAPTION_PARAMS=""
 453             fi
 454
 455             convert ${rotation_cmd} $i ${PARAMS} ${CAPTION_PARAMS} ${DEST_DIR}/$i
 456         fi
 457         \ls -lt ${DEST_DIR}/$i
 458         NB=$((NB+1))
 459         echo "$((NB*100/NB_TOTAL))% (${NB}/${NB_TOTAL})"
 460     done
 461 }
 462
 463 ######################################################################
 464 # Move a file to the ~/sources/config directory and replace it where
 465 # it was by a symbolic link
 466
 467 function mvtoconfig () {
 468     CONFIGDIR=${HOME}/sources/config
 469     if [[ -d ${CONFIGDIR} ]]; then
 470         NEWNAME=${CONFIGDIR}/$(basename $1 | sed -e "s/^\.//")
 471         mv $1 $NEWNAME
 472         ln -s $NEWNAME $1
 473     else
 474         echo "Can not find ${CONFIGDIR}"
 475     fi
 476 }
 477
 478 ######################################################################
 479 # Track uncommited files (I presume this is very ugly from a real git
 480 # user perspective)
 481
 482 function git-fm () {
 483     CURRENT_DIR=$(pwd)
 484     NB_SUBDIR=0
 485
 486     for i in $(find -name ".git"); do
 487         NB_SUBDIR=$((NB_SUBDIR+1))
 488         cd ${CURRENT_DIR}/$(dirname $i)
 489         NB_MODIFIED=$(git status | grep modified | wc -l)
 490         if [[ ${NB_MODIFIED} -gt 0 ]]; then
 491             echo "$(dirname $i) (${NB_MODIFIED})"
 492             git status | grep modified \
 493                 | sed -e "s/^#\t/    /" | sed -e "s/modified: *//"
 494         fi
 495     done
 496
 497     cd ${CURRENT_DIR}
 498
 499     echo "Visited ${NB_SUBDIR} directories."
 500 }
 501
 502 ######################################################################
 503 # Commits all directories under git
 504
 505 function git-ca () {
 506     ORIGINAL_PWD=${PWD}
 507     UNCOMMITTED=""
 508     for d in $(find ${PWD} -name ".git"  | sed -e "s/\.git$//"); do
 509         cd $d
 510         NB_MODIFIED=$(git status | grep modified | wc -l)
 511         if [[ ${NB_MODIFIED} -gt 0 ]]; then
 512             if [[ $(pwd) =~ ${NO_AUTOMATIC_GIT_COMMIT} ]]; then
 513                 UNCOMMITTED="${UNCOMMITTED} $(pwd)"
 514             else
 515                 echo $(pwd)" (${NB_MODIFIED} modified file(s))"
 516                 git commit -a -m "Automatic commit" | grep -v ^#
 517             fi
 518             # git gc
 519         fi
 520     done
 521
 522     cd ${ORIGINAL_PWD}
 523
 524     if [[ ${UNCOMMITTED} ]]; then
 525         echo "** WARNING: Did not automatically commit${UNCOMMITTED}"
 526     fi
 527 }
 528
 529 ######################################################################
 530 # Backups all git directories into an encrypted backup file located
 531 # either on the usb key or the SD card (in that order) if they can be
 532 # mounted.
 533
 534 function git-backup () {
 535
 536     BACKUPDIR=/mnt/key
 537
 538     mount ${BACKUPDIR} 2> /dev/null
 539
 540     if [[ ! $(mount | grep ${BACKUPDIR}) ]]; then
 541         BACKUPDIR=/mnt/sd
 542         mount ${BACKUPDIR}
 543     fi
 544
 545     if [[ $(mount | grep ${BACKUPDIR}) ]]; then
 546         echo "Mounted ${BACKUPDIR}"
 547     else
 548         echo "Could not mount the backup directory"
 549         return 1
 550     fi
 551
 552     RESULT=${BACKUPDIR}/gitbackup-$(date +%F-%H%M%S).tgz.mc
 553
 554     tar zcvf - $(find ${HOME}/ -name .git) \
 555         | mcrypt -f ${HOME}/private/mcrypt.key > ${RESULT}
 556
 557     if [[ -f ${RESULT} ]]; then
 558         ls -lh ${RESULT}
 559     else
 560         echo "Could not create the backup!"
 561         return 1
 562     fi
 563
 564     sync
 565
 566     umount ${BACKUPDIR} && echo "Umounted ${BACKUPDIR}"
 567 }
 568
 569 ######################################################################
 570 # Downloads torrents located in ${BT_DIR}/torrents/ and puts the
 571 # result in the ${BT_DIR}
 572
 573 function bt () {
 574     if [[ ${BT_DIR} ]]; then
 575         if [[ -d "${BT_DIR}/torrents" ]]; then
 576             if [[ $1 ]]; then
 577                 mv $1 ${BT_DIR}/torrents
 578             fi
 579             if [[ "$(ps auxwww | grep btlaunchmanycurses | grep -v grep)" ]]; then
 580                 echo "A client is already running."
 581             else
 582                 cd ${BT_DIR} && screen btlaunchmanycurses torrents --max_upload_rate 32
 583             fi
 584         else
 585             echo "Directory ${BT_DIR}/torrents does not exist."
 586         fi
 587     else
 588         echo "You have to set \$BT_DIR."
 589     fi
 590 }
 591
 592 ######################################################################
 593 # The complex prompt policy
 594
 595 export PS1
 596
 597 if [ "${CONSOLE}" == "yes" ]; then
 598     PS1=""
 599 else
 600
 601 # If the login is a standard one (as specified in
 602 # IGNORED_PROMPT_LOGIN, which is set in the private bash file), do not
 603 # show it. I have IGNORED_PROMPT_LOGIN="^fleuret$".
 604
 605     if [ ! ${IGNORED_PROMPT_LOGIN} ] || [[ ! ${USER} =~ ${IGNORED_PROMPT_LOGIN} ]]; then
 606         IDENT="${USER}"
 607     fi
 608
 609 # If the display is not the main one, make the assumption that the
 610 # shell is not running on the localhost, and show the hostname
 611
 612     [ "${DISPLAY}" != ":0.0" ] && IDENT="${IDENT}@\h"
 613
 614 # If there is the login or the hostname, add a ":" to the prompt
 615
 616     [ "${IDENT}" ] && IDENT="${IDENT}:"
 617
 618 # If we are root, show that in red
 619
 620     if [[ ${USER} == "root" ]]; then
 621         PS1="\[${VT_RED_BG}${VT_WHITE_FG}\]${IDENT}\w\[${VT_RESET}\] "
 622     else
 623         PS1="\[${VT_WHITE_BG}${VT_BLACK_FG}\]${IDENT}\w\[${VT_RESET}\] "
 624     fi
 625
 626 # In an xterm, show the hostname and path in the title bar, highlight
 627 # the prompt
 628
 629     # [ "${TERMS_WITH_BAR}" ] || TERMS_WITH_BAR="^xterm|screen$"
 630
 631     # if [[ "${TERM}" =~ "${TERMS_WITH_BAR}" ]]; then
 632         # PS1="\[${VT_SET_TITLE}shell@\h (\w)${VT_END_TITLE}${VT_WHITE_BG}\]${IDENT}\w\[${VT_RESET}\] "
 633     # else
 634         # PS1="\[${VT_WHITE_BG}\]${IDENT}\w\[${VT_RESET}\] "
 635     # fi
 636
 637 fi
 638
 639 ######################################################################
 640 # This implements a local history. If we are in a directory containing
 641 # a writable local history file, we add the last line of the global
 642 # history to it.
 643
 644 LOCAL_HISTORY_FILE=".local_bash_history"
 645
 646 function keep_local_history () {
 647     if [[ -w "${LOCAL_HISTORY_FILE}" ]]; then
 648         history 1 | sed -e 's/^ *[0-9]* *//' >> ${LOCAL_HISTORY_FILE}
 649         TMP=$(mktemp /tmp/lh.XXXXXX)
 650         \chmod 600 ${TMP}
 651         uniq < ${LOCAL_HISTORY_FILE} | tail -${HISTSIZE} > ${TMP}
 652         # mv would replace a symbolic link, while cp keeps it
 653         \cp ${TMP} ${LOCAL_HISTORY_FILE}
 654         \rm ${TMP}
 655         LOCAL_HISTORY_HINT=" LH "
 656     else
 657         LOCAL_HISTORY_HINT=""
 658     fi
 659 }
 660
 661 PS1="\[${VT_WHITE_BG}\]\${LOCAL_HISTORY_HINT}\[${VT_RESET}\]${PS1}"
 662
 663 ######################################################################
 664 # Switch off the history
 665
 666 alias nh=" export HISTFILE=/dev/null"
 667
 668 function histfile_cue () {
 669     if [[ ! "${HISTFILE}" == "${HOME}/.bash_history" ]]; then
 670         HISTORY_CUE="[${HISTFILE}]"
 671     else
 672         HISTORY_CUE=""
 673     fi
 674 }
 675
 676 PS1="\[${VT_YELLOW_BG}\]\${HISTORY_CUE}\[${VT_RESET}\]${PS1}"
 677
 678 ######################################################################
 679 # The dus command is available on my web site
 680 #
 681 # git clone http://fleuret.org/git/dus/
 682
 683 alias dus='dus -f'
 684
 685 ######################################################################
 686 # The finddup command is available on my web site
 687 #
 688 # git clone http://fleuret.org/git/finddup/
 689
 690 # alias finddup='finddup -p0d'
 691 alias finddup='finddup -p'
 692
 693 ######################################################################
 694 # This script grep messages in my mail archives
 695
 696 alias gma='gma.sh'
 697
 698 ######################################################################
 699 # Selector based history
 700 #
 701 # The selector command is available on my web site
 702 #
 703 # git clone http://fleuret.org/git/selector/
 704
 705 function selector-history () {
 706     selector -c 7,4,0,3 -q -b -i -d -v -w -l 15000 <(history)
 707 }
 708
 709 # M-r puts the selected history line in place of the current one
 710
 711 bind '"\C-[r":"\C-a\C-kselector-history\C-m"'
 712
 713 # M-t appends the selected history line and the end of the current one
 714
 715 bind '"\C-[t":"\C-a\C-kselector-history\C-m\C-a\C-y\C-e"'
 716
 717 # Find pathes in the history and make a list of the existing ones
 718
 719 function selector-cd () {
 720     LIST_TEMP=$(mktemp /tmp/cdlist.XXXXXX)
 721     for d in $(history | \
 722         grep ^" *[0-9]* *cd" | \
 723         awk '{ print $3 }' | \
 724         grep -v "\.\." | \
 725         uniq); do
 726         if [[ -d $d ]]; then
 727             echo "$d!cd $d"
 728         fi
 729     done >> ${LIST_TEMP}
 730     selector -v -x '!' -d -i ${LIST_TEMP}
 731     \rm ${LIST_TEMP}
 732 }
 733
 734 bind '"\C-[c":"\C-a\C-kselector-cd\C-m"'
 735
 736 # And we avoid to put in the history the use of the selector, which we
 737 # do too often
 738
 739 HISTIGNORE="${HISTIGNORE}:selector-history"
 740
 741 ######################################################################
 742
 743 function prompt_command () {
 744 # save the history after every command to avoid loosing some when
 745 # multiple shells are open
 746     history -a
 747 # and the local histories system defined above
 748     keep_local_history
 749 # and the history cue
 750     histfile_cue
 751 }
 752
 753 PROMPT_COMMAND="prompt_command"
 754
 755 ######################################################################
 756
 757 # Displaying the timezone if it is set
 758
 759 if [[ ${TZ} ]]; then
 760     echo "${VT_BOLD}${VT_GREEN_FG}Time zone is ${TZ}.${VT_RESET}"
 761 fi
 762
 763 ######################################################################