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. #
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. #
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/>. #
16 # Written by and Copyright (C) Francois Fleuret #
17 # Contact <francois@fleuret.org> for comments & bug reports #
18 #########################################################################
20 # The site-specific and confidential settings are in another file
22 PRIVATE_BASHRC="${HOME}/private/bashrc.perso"
24 # If the MANPATH is not set, set it
26 [[ "${MANPATH}" ]] || MANPATH=$(manpath)
28 # If the private bashrc exists, execute it
30 [[ -f "${PRIVATE_BASHRC}" ]] && source "${PRIVATE_BASHRC}"
32 # !!! THIS HAS TO BE HERE EVEN IN THE NON-INTERACTIVE PART OR YOU WILL
33 # LOSE YOU PREVIOUS HISTORY !!!
35 export HISTFILESIZE=20000
36 export HISTSIZE=${HISTFILESIZE}
38 export HISTIGNORE="${HISTIGNORE}:&:[ ]*"
40 # I want to save the command time, but I do not want to see it in
43 export HISTTIMEFORMAT=""
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
51 [ ${TERM} == "dumb" ] || [[ ! -t 0 ]] && return
53 # Remove the annoying beeps in console
57 # || setterm --blength 0 # Seriously?
59 ######################################################################
60 ## The interactive part
62 export VT_RESET=$'\e[0m'
63 export VT_BOLD=$'\e[1m'
64 export VT_UNDERLINE=$'\e[4m'
65 export VT_BLINK=$'\e[5m'
67 export VT_SET_TITLE=$'\e]0;'
68 export VT_END_TITLE=$'\007'
70 export VT_BLACK_FG=$'\e[30m'
71 export VT_RED_FG=$'\e[31m'
72 export VT_GREEN_FG=$'\e[32m'
73 export VT_YELLOW_FG=$'\e[33m'
74 export VT_BLUE_FG=$'\e[34m'
75 export VT_MAGENTA_FG=$'\e[35m'
76 export VT_CYAN_FG=$'\e[36m'
77 export VT_WHITE_FG=$'\e[37m'
79 export VT_BLACK_BG=$'\e[40m'
80 export VT_RED_BG=$'\e[41m'
81 export VT_GREEN_BG=$'\e[42m'
82 export VT_YELLOW_BG=$'\e[43m'
83 export VT_BLUE_BG=$'\e[44m'
84 export VT_MAGENTA_BG=$'\e[45m'
85 export VT_CYAN_BG=$'\e[46m'
86 export VT_WHITE_BG=$'\e[47m'
90 export LESS_TERMCAP_us=${VT_GREEN_FG}
91 export LESS_TERMCAP_ue=${VT_RESET}
92 export LESS_TERMCAP_md=${VT_BLUE_FG}${VT_BOLD}
93 export LESS_TERMCAP_me=${VT_RESET}
95 # I do not like to clutter my home with history files
97 export LESSHISTFILE=/dev/null
99 # export LESS_TERMCAP_md=$'\e[1;34;40m'
101 # This prevents ^S from freezing the shell
111 alias chmod='chmod -c'
117 # alias df='df -hT --sync'
118 alias grep='grep -i -E --color=auto'
119 alias find='ionice -c3 find'
121 alias val='valgrind --leak-check=full --show-reachable=yes --db-attach=yes '
123 alias s='screen -d -R -U && clear'
124 alias p='feh --force-aliasing -d --full-screen --auto-zoom'
127 export HISTFILE=/dev/null
131 function select-tz () {
132 # Select a value for TZ
133 TMP=$(mktemp /tmp/select-tz.XXXXXX)
134 selector -o "${TMP}" <(grep -v ^# /usr/share/zoneinfo/zone.tab | awk '{print $3}' | sort -u)
140 if [[ $1 ]] && which winshepherd.sh; then
141 play -q ~/local/sounds/deskbell.wav &
143 winshepherd.sh message green "$1"
145 play -q ~/local/sounds/deskbell.wav
149 alias impressive="impressive -s -D 1000 -t Crossfade -T 100"
151 if [[ -e "${HOME}/.dircolors" ]]; then
152 eval $(dircolors "${HOME}/.dircolors")
153 alias ls='ls -p --group-directories-first --color'
154 alias lt='ls -p --color -gohtr --time-style="+%Y %b %d %H:%M"'
155 alias ll='ls -p --color -goh --time-style="+%Y %b %d %H:%M"'
156 alias lll='ls -p --color -lth'
157 alias l='ls -p --color -I "*~" -I "*.o"'
160 alias ls='ls -p --group-directories-first'
161 alias lt='ls -p -gohtr --time-style="+%Y %b %d %H:%M"'
162 alias ll='ls -p -goh --time-style="+%Y %b %d %H:%M"'
163 alias lll='ls -p -lth'
164 alias l='ls -p -I "*~" -I "*.o"'
167 export EDITOR=emacsclient
168 export GIT_EDITOR=${EDITOR}
170 ######################################################################
171 # Ignored extensions when completing
173 # export FIGNORE="CVS"
175 function latexdiff () {
177 -w $'\033[30;41m' -x $'\033[0m' \
178 -y $'\033[30;42m' -z $'\033[0m' \
182 # Looks for the most recent .log and pdflatex + bibtex the
183 # corresponding tex file
186 # RECENT_LOG=$(ls -t $(find -maxdepth 1 -name "*.log" -type f) | head -1)
188 RECENT_LOG=$(ls -t *.log | head -1)
190 if [[ ${RECENT_LOG} ]]; then
191 FILEBASE="${RECENT_LOG/.log/}"
193 if [[ -f "${FILEBASE}.tex" ]]; then
195 pdflatex --shell-escape "${FILEBASE}"
197 pdflatex --shell-escape "${FILEBASE}"
198 pdflatex --shell-escape "${FILEBASE}"
201 if [[ "$1" == "-v" ]] || [[ "$1" == "--view" ]]; then
202 xpdf "${FILEBASE}.pdf"
203 elif [[ "$1" == "-p" ]] || [[ "$1" == "--print" ]]; then
204 lpr "${FILEBASE}.pdf"
206 echo "Usage: rl [-v|--view] [-p|--print]" >&2
207 echo "Unknown option $1" >&2
214 echo "Can not find a tex file corresponding to the most recent log (${RECENT_LOG/.log/})." >&2
220 echo "Can not find a recent log." >&2
226 ######################################################################
229 # http://www.reddit.com/r/linux/comments/2cgu5k/a_handy_little_script_for_interacting_with_your/
231 if [[ -t 0 ]] && [[ -z "$1" ]]; then
232 # output contents of clipboard
233 xclip -out -selection clipboard || exit 1
234 elif [[ "$1" ]]; then
235 # copy file contents to clipboard
236 xclip -in -selection clipboard < "$1" || exit 1
238 # copy stdin to clipboard
239 xclip -in -selection clipboard <&0 || exit 1
243 # Find a file whose name contains a substring
248 find "$@" -name "*${name}*";
261 while [[ -f "${HOME}/scan-${n}.jpg" ]]; do
266 if [[ "$1" == "color" ]]; then
267 OPTS+=" --mode Color"
268 elif [[ "$1" == "gray" ]]; then
270 elif [[ "$1" == "a4crop" ]]; then
271 OPTS+=" -l 5 -t 0 -x 200 -y 300"
272 elif [[ "$1" == "help" ]] || [[ "$1" == "-h" ]] || [[ "$1" == "--help" ]]; then
273 echo "$0 [color|gray] [a4crop]" && return 0
275 echo "Unknown argument \`$1'"
281 echo "** Scanning to ${HOME}/scan-${n}.jpg"
284 SCANNER=$(scanimage -L | grep "Canon LiDE 60" | sed -e "s/^.*\`\(.*\)'.*$/\1/")
286 scanimage -d ${SCANNER} \
293 convert -rotate 180 - "${HOME}/scan-${n}.jpg"
298 # A password generator
301 tr -dc A-Za-z0-9 < /dev/urandom | head -c16
302 # tr -dc [:graph:] < /dev/urandom | head -c16
308 [[ "$1" ]] || ( echo "Universal unarchive: ua <file> [<file> ...]" >&2 && return 1)
313 *.tgz|*.tar.gz|*.tbz|*.tar.bz2)
326 echo "Unknown file extension $1"
335 # Create a dir and cd there
342 # Capture the screen in a dated png
348 name="capture-$(date +%s).png"
350 echo "Waiting $1 s and saving to ${name}."
351 [[ "$1" ]] && sleep "$1"
352 echo "Please click on the window to capture."
353 xwd | convert - ${name}
357 # Create and CD in a /tmp/tmp.XXXXXX directory. With the '-'
358 # arguments, do not create one and CD in the most recent instead
362 if [[ "$1" == "-" ]]; then
363 cd $(\ls -td /tmp/tmp.?????? | head -1)
365 echo "USAGE: cdt [-]" >&2
369 dir=$(mktemp -d /tmp/tmp.XXXXXX)
371 if [[ -h ${link} ]]; then
374 if [[ ! -a ${link} ]]; then
385 TRASH=$(date +/tmp/trash-${USER}-%Y-%b-%d-%Hh)
390 [[ -h ${LINK} ]] && \rm ${LINK}
392 [[ ! -f ${LINK} ]] && ln -s ${TRASH} ${LINK}
398 ######################################################################
399 ## A version of pho which stores the image numbers in environment
403 TEMP=$(mktemp /tmp/pho.XXXXXXX)
404 $(which pho) "$@" | tee ${TEMP}
405 PHO_NOTE_1=$(grep ^"Note 1: " ${TEMP} | sed -e "s/^[^:]*: //")
406 PHO_NOTE_2=$(grep ^"Note 2: " ${TEMP} | sed -e "s/^[^:]*: //")
407 PHO_NOTE_3=$(grep ^"Note 3: " ${TEMP} | sed -e "s/^[^:]*: //")
408 PHO_NOTE_R90=$(grep ^"Rotate 90 \(CW\): " ${TEMP} | sed -e "s/^[^:]*: //")
409 PHO_NOTE_R180=$(grep ^"Rotate 180: " ${TEMP} | sed -e "s/^[^:]*: //")
410 PHO_NOTE_R270=$(grep ^"Rotate -90 \(CCW\): " ${TEMP} | sed -e "s/^[^:]*: //")
411 [[ "${PHO_NOTE_1}" ]] || unset PHO_NOTE_1
412 [[ "${PHO_NOTE_2}" ]] || unset PHO_NOTE_2
413 [[ "${PHO_NOTE_3}" ]] || unset PHO_NOTE_3
414 [[ "${PHO_NOTE_R90}" ]] || unset PHO_NOTE_R90
415 [[ "${PHO_NOTE_R180}" ]] || unset PHO_NOTE_R180
416 [[ "${PHO_NOTE_R270}" ]] || unset PHO_NOTE_R270
420 ######################################################################
421 ## A version of date that shows the time at home if TZ is set
424 echo "Local - $(date)"
426 echo "Home - $(date)"
429 ######################################################################
430 ## ifup / ifdown with sudo and memorization of the network
432 ## When invoked without an argument netup uses the same argument as
435 ## When invoked without an argument netdown removes the last interface
438 [ ${NETUP_HISTORY} ] || NETUP_HISTORY="${HOME}/.netup_history"
443 [[ "${WIFI_INTERFACE}" ]] || WIFI_INTERFACE=wlan0
445 if [[ "$1" == "--scan" ]]; then
446 if ifconfig -s | grep -v -q ${WIFI_INTERFACE}; then
447 sudo ifconfig ${WIFI_INTERFACE} up
451 sudo iwlist ${WIFI_INTERFACE} scan | \grep -E 'ESS|Quali|Encry' | sed -e 's/^[ \t]*//'
453 if [[ ${upped_wifi} ]]; then
454 sudo ifconfig ${WIFI_INTERFACE} down
461 if \ifconfig -s | grep -q -v ^'(Iface|lo) '; then
462 echo "There is/are already interface(s) up." >&2
466 if \ps h -C dhclient | grep -q .; then
467 echo "There is already a dhcp client running." >&2
471 if \ps h -C wpa_supplicant | grep -q .; then
472 echo "There is already a wpa_supplicant running." >&2
476 if [[ ! "$@" ]] && [[ -s ${NETUP_HISTORY} ]]; then
477 echo "netup <interface>" >&2
479 # # If we have no argument and there is a .netup_history, use it
480 # ARGS=$(cat ${NETUP_HISTORY})
482 # Otherwise uses the given arguments, and store them
484 echo ${ARGS} > ${NETUP_HISTORY}
487 if [[ "${PRIVATE_INTERFACE_DEFINITION}" ]]; then
488 ARGS="-i ${PRIVATE_INTERFACE_DEFINITION} ${ARGS}"
491 echo "Executing ${VT_GREEN_FG}[sudo ifup ${ARGS}]${VT_RESET}"
494 # Ugly hack to remove the dsl modem dns server when we add
495 # explicitely a dns in the /etc/network/interfaces
497 REMOVE_LOCAL_DNS=/usr/local/bin/remove-local-dns.sh
498 # REMOVE_LOCAL_DNS=${HOME}/sources/scripts/remove-local-dns.sh
500 if [[ -x ${REMOVE_LOCAL_DNS} ]]; then
501 echo "Executing ${VT_GREEN_FG}[sudo ${REMOVE_LOCAL_DNS} 192.168]${VT_RESET}"
502 sudo ${REMOVE_LOCAL_DNS} 192.168
506 function netdown () {
507 if [[ ! "$@" ]] && [[ -s ${NETUP_HISTORY} ]]; then
508 # If there are no arguments and there is a .netup_history, get the
510 ARGS=$(tail -1 ${NETUP_HISTORY} | sed -e "s/=.*$//")
512 # Otherwise, use the standard ifdown
516 [[ "${PRIVATE_INTERFACE_DEFINITION}" ]] && ARGS="-i ${PRIVATE_INTERFACE_DEFINITION} ${ARGS}"
518 echo "Executing sudo ${VT_GREEN_FG}[ifdown ${ARGS}]${VT_RESET}"
521 # if [[ $(\ps -C dhclient | tail -n +2) ]]; then
522 # echo "There is still a dhcp client running." >&2
526 # if [[ $(\ps -C wpa_supplicant | tail -n +2) ]]; then
527 # echo "There is still a wpa_supplicant running." >&2
532 function checkgw () {
533 GW=$(route -n | grep ^0.0.0.0 | awk '{print $2}')
534 if [[ "${GW}" ]]; then
537 echo "Can not find a getaway." >&2
542 ######################################################################
543 # Show the most recent files, no scroll
546 HEIGHT=$(stty size | awk '{print $1}')
547 WIDTH=$(stty size | awk '{print $2}')
548 \ls -goth --time-style="+%Y %b %d %H:%M" "$@" | \
549 head -$((HEIGHT-2)) | \
553 ######################################################################
554 # You can change the xterm background color on the fly!
556 function setxtermbg () {
557 echo -n $'\e]11;'$1$'\007'
560 ######################################################################
561 # Shuffle the lines from the stdin
563 function shuffle () {
565 [[ $SEED ]] || SEED=0
566 awk 'BEGIN{srand('${SEED}')} { print rand()" "$0 }' | sort -g | sed -e "s/^[0-9\.e\-]* //"
569 ######################################################################
570 # Stores the last entered command into a file
572 KEPT_COMMANDS=${HOME}/.kept_bash_commands
575 if [[ ${KEPT_COMMANDS} ]]; then
576 TOKEEP=$(mktemp /tmp/keep.XXXXXX)
578 echo "$@" > ${TOKEEP}
580 selector -b -i -d -l ${HISTSIZE} -o "${TOKEEP}" <(history)
583 if [[ -s "${TOKEEP}" ]]; then
584 echo $(date)": "$(cat ${TOKEEP}) >> ${KEPT_COMMANDS}
587 echo "No command stored!"
592 echo "You have to set \$KEPT_COMMANDS"
596 ######################################################################
597 # I sometime burn CDs and DVDs
600 [[ "${DEV_BURNER}" ]] || DEV_BURNER="/dev/sr0"
601 if [[ ! "$1" ]]; then
602 echo "burn <iso name | dirname>" >&2
603 elif [[ -f "$1" ]]; then
604 if [[ $(file "$1" | \grep -E 'ISO 9660|UDF filesystem data') ]]; then
605 wodim -eject -v dev=${DEV_BURNER} "$1"
607 echo "Do not know what to do with $1" >&2
609 elif [[ -d "$1" ]]; then
610 [[ "${TMP_ROOT}" ]] || TMP_ROOT=/tmp/
611 echo "Using ${TMP_ROOT} as temporary directory."
612 TMP=$(mktemp ${TMP_ROOT}/cdimage.XXXXXX) && \
613 genisoimage -input-charset iso8859-1 -r -o ${TMP} "$1" && \
614 wodim -eject -v dev=${DEV_BURNER} ${TMP}
617 echo "Can not find $1" >&2
621 ######################################################################
622 # And watch DVDs too!
627 echo " ! @ Seek to the beginning of the previous/next chapter"
628 echo " j Cycle through the available subtitles"
629 echo " o Show/hide the timing"
630 echo " x z Subtitle delay"
638 dvd_device="/dev/dvd"
648 # -vc ffmpeg12 -vf yadif
650 mplayer > /dev/null \
653 -alang en -slang en \
654 -softvol -softvol-max 1000 \
655 -dvd-device ${dvd_device} ${MPLAYER_OPTIONS} dvd://${title}
659 if [[ -e "/dev/dvd" ]]; then
660 DVD_DEVICE="/dev/dvd"
661 elif [[ -e "/dev/dvd3" ]]; then
662 DVD_DEVICE="/dev/dvd3"
664 echo "Can not find the dvd device." >&2
668 echo "Attemptin to rip from ${DVD_DEVICE}."
670 mkdir -p ${HOME}/dvds
673 time dvdbackup -i ${DVD_DEVICE} -v -M "$@" && eject
678 ######################################################################
679 # Create small images from images
681 function mksmall () {
683 if [[ "$1" == "--params" ]]; then
689 [[ "${PARAMS}" ]] || PARAMS="-geometry 1280x1024"
691 # Auto-orient does not seem to work at all, hence the ugly hack
694 # PARAMS="-auto-orient -geometry 800x600"
696 echo "Using ${PARAMS}"
700 [[ ${DEST_DIR} ]] || DEST_DIR=./small
704 if [[ ! -d ${DEST_DIR} ]]; then
705 echo "Can not create ${DEST_DIR}" >&2
709 NB_TOTAL=$(find -maxdepth 1 -type f | wc -l)
712 for i in $(find -maxdepth 1 -type f); do
713 if [[ $(file $i | grep image) ]]; then
714 if [[ -e ${DEST_DIR}/$i ]]; then
715 echo "The file ${DEST_DIR}/$i already exists."
717 if [[ $(file ${i/%.*/}.* | grep -E movie) ]] ; then
718 CAPTION_PARAMS="-font FreeSans-Bold -pointsize 32 -fill green -annotate +10+32 Video"
723 convert ${rotation_cmd} $i ${PARAMS} ${CAPTION_PARAMS} ${DEST_DIR}/$i
726 \ls -lt ${DEST_DIR}/$i
731 echo "$((NB*100/NB_TOTAL))% (${NB}/${NB_TOTAL})"
735 ######################################################################
736 # Move a file to the ~/sources/config directory and replace it where
737 # it was by a symbolic link
739 function mvtoconfig () {
740 CONFIGDIR=${HOME}/sources/config
741 if [[ -d ${CONFIGDIR} ]]; then
742 NEWNAME=${CONFIGDIR}/$(basename "$1" | sed -e "s/^\.//")
746 echo "Can not find ${CONFIGDIR}"
750 ######################################################################
751 # The complex prompt policy
755 if [[ "${CONSOLE}" == "yes" ]]; then
761 # If the login is a standard one (as specified in
762 # IGNORED_PROMPT_LOGIN, which is set in the private bash file), do not
763 # show it. I have IGNORED_PROMPT_LOGIN="^fleuret$".
765 if [[ ! ${IGNORED_PROMPT_LOGIN} ]] || [[ ! ${USER} =~ ${IGNORED_PROMPT_LOGIN} ]]; then
769 # If the display is not the main one, make the assumption that the
770 # shell is not running on the localhost, and show the hostname
772 [[ "${DISPLAY}" != ":0.0" ]] && IDENT="${IDENT}@\h"
774 # If there is the login or the hostname, add a ":" to the prompt
776 [[ "${IDENT}" ]] && IDENT="${IDENT}:"
778 if [[ ${USER} == "root" ]]; then
779 # If we are root, show that in red
780 PS1="\[${VT_RED_BG}${VT_WHITE_FG}\]${IDENT}\w\[${VT_RESET}\] "
782 if [[ $(\grep QEMU /proc/cpuinfo) ]]; then
783 # If we are in a qemu virtual machine, in yellow
784 PS1="\[${VT_YELLOW_BG}${VT_BLACK_FG}\]${IDENT}\w\[${VT_RESET}\] "
787 PS1="\[${VT_WHITE_BG}${VT_BLACK_FG}\]${IDENT}\w\[${VT_RESET}\] "
795 ######################################################################
796 # This implements a local history. If we are in a directory containing
797 # a writable local history file, we add the last line of the global
800 LOCAL_HISTORY_FILE=".local_bash_history"
802 function keep_local_history () {
803 if [[ -w "${LOCAL_HISTORY_FILE}" ]]; then
804 history 1 | sed -e 's/^ *[0-9]* *//' >> ${LOCAL_HISTORY_FILE}
805 TMP=$(mktemp /tmp/lh.XXXXXX)
807 uniq < ${LOCAL_HISTORY_FILE} | tail -${HISTSIZE} > ${TMP}
808 # mv would replace a symbolic link, while cp keeps it
809 \cp ${TMP} ${LOCAL_HISTORY_FILE}
811 LOCAL_HISTORY_HINT="* "
813 LOCAL_HISTORY_HINT=""
817 PS1="\[${VT_WHITE_BG}\]\${LOCAL_HISTORY_HINT}\[${VT_RESET}\]${PS1}"
819 ######################################################################
820 # Show the history path if it is unusual
822 function histfile_cue () {
823 if [[ ! "${HISTFILE}" == "${HOME}/.bash_history" ]]; then
824 HISTORY_CUE="[${HISTFILE}]"
830 PS1="\[${VT_YELLOW_BG}\]\${HISTORY_CUE}\[${VT_RESET}\]${PS1}"
832 ######################################################################
833 # The dus command is available on my web site
835 # git clone http://fleuret.org/git/dus/
837 alias dus='dus -f -i'
839 ######################################################################
840 # The finddup command is available on my web site
842 # git clone http://fleuret.org/git/finddup/
844 alias finddup='finddup -p'
846 ######################################################################
847 # The selector command is available on my web site
849 # git clone http://fleuret.org/git/selector/
851 export SELECTOR_CD_HISTORY_SIZE=10000
853 source bash-selector.sh --hist --cd
855 ######################################################################
856 # And we avoid to put in the history the use of the selector, which we
859 HISTIGNORE="${HISTIGNORE}:selector-history"
861 ######################################################################
863 function selector-printer () {
864 TMP=$(mktemp /tmp/selector-printer.XXXXXX)
865 selector -o ${TMP} <(lpstat -a | awk '{print $1}')
866 export PRINTER=$(cat ${TMP})
867 echo "PRINTER=${PRINTER}"
872 ######################################################################
873 # A ls with memory to notice what files have been added/removed from
874 # the current directory
877 [[ "${LSN_STATE_FILE}" ]] || LSN_STATE_FILE=".lsn-state"
879 if [[ $1 == "--mem" ]] || [[ "$1" == "-m" ]]; then
881 \ls -pa | sort > "${LSN_STATE_FILE}"
882 echo "State updated." >&2
884 elif [[ $1 == "+" ]]; then
888 TMP=$(mktemp /tmp/lsn.XXXXXX)
890 cat "${LSN_STATE_FILE}" >> ${TMP}
891 sort ${TMP} | uniq -u > "${LSN_STATE_FILE}"
894 elif [[ "$1" ]]; then
896 lsn [--help|-h] [--mem|-m] [+ <file> ...]
904 stores the current state of the directory
906 + <file> [<file> ...]
907 switches the presence/absence of the indicated files in the
911 if [[ ! "$1" == "-h" ]] && [[ ! "$1" == "--help" ]]; then
912 echo >&2 "Unknown option \`\`$1''."
918 if [[ -f "${LSN_STATE_FILE}" ]]; then
919 TMP=$(mktemp /tmp/lsn.XXXXXX)
920 \ls -pa | sort > ${TMP}
921 if diff > /dev/null ${TMP} "${LSN_STATE_FILE}"; then
922 echo "${VT_GREEN_FG}${VT_BOLD}No change (since $(date +"%b %d, %Y" -r "${LSN_STATE_FILE}"))${VT_RESET}"
924 \comm -1 -3 "${LSN_STATE_FILE}" ${TMP}
925 \comm -2 -3 "${LSN_STATE_FILE}" ${TMP} | while read line; do
926 echo "${VT_RED_FG}${VT_BOLD}${line}${VT_RESET} (missing)"
931 echo "${VT_RED_FG}${VT_BOLD}No lsn state here.${VT_RESET}" >&2
938 ######################################################################
940 function prompt_command () {
941 [[ "${CORE_CHECK_PWD}" == ${PWD} ]] || find . -maxdepth 1 -name "core__*" | awk '{print "'${VT_RED_FG}'"$0"'${VT_RESET}'"}'
942 CORE_CHECK_PWD=${PWD}
944 # if [[ $(umask) != 0022 ]]; then
945 # echo "Umask changed to $(umask)"
947 # save the history after every command to avoid loosing some when
948 # multiple shells are open
950 # load the saved history
952 # and the local histories system defined above
954 # and the history cue
958 PROMPT_COMMAND="prompt_command"
960 ######################################################################
962 # Displaying the timezone if it is set
964 [[ ${TZ} ]] && echo "${VT_BLUE_FG}Time zone is ${TZ}.${VT_RESET}"
966 ######################################################################