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