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