diff .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
line wrap: on
line diff
--- a/.bashrc	Tue Jul 05 12:31:53 2016 -0400
+++ b/.bashrc	Thu Aug 18 12:35:16 2016 -0400
@@ -40,11 +40,11 @@
 # If this is an xterm set the title to user@host:dir
 case $TERM in
   xterm*|rxvt*)
-    PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007"'
+    PROMPT_COMMAND='history -a ; echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007"'
     ;;
   screen*)
     # But if it's a screen window, leave it alone please
-    PROMPT_COMMAND=""
+    PROMPT_COMMAND="history -a"
     ;;
   *)
     ;;