comparison .bashrc @ 142:90f60047d5b4

Set a bunch of history-friendly options
author Steve Huston <huston@astro.princeton.edu>
date Thu, 18 Aug 2016 12:35:16 -0400
parents ef534933ab04
children 315bbb06066a
comparison
equal deleted inserted replaced
141:ef534933ab04 142:90f60047d5b4
38 fi 38 fi
39 39
40 # If this is an xterm set the title to user@host:dir 40 # If this is an xterm set the title to user@host:dir
41 case $TERM in 41 case $TERM in
42 xterm*|rxvt*) 42 xterm*|rxvt*)
43 PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007"' 43 PROMPT_COMMAND='history -a ; echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007"'
44 ;; 44 ;;
45 screen*) 45 screen*)
46 # But if it's a screen window, leave it alone please 46 # But if it's a screen window, leave it alone please
47 PROMPT_COMMAND="" 47 PROMPT_COMMAND="history -a"
48 ;; 48 ;;
49 *) 49 *)
50 ;; 50 ;;
51 esac 51 esac
52 52