1.1 --- a/l3bashrc	Mon Feb 20 17:52:40 2006 +0200
     1.2 +++ b/l3bashrc	Mon Jun 12 09:32:18 2006 +0300
     1.3 @@ -127,7 +127,7 @@
     1.4  
     1.5  l3_fix_prompt()
     1.6  {
     1.7 -    export PS1='\[v2#\!#$?#$UID#$$#$(/bin/date +%s)#$PWD#\033[1024D\033[K\]'$PS1
     1.8 +    export PS1='\[$(l3_save_last_line)v2#\!#$?#$UID#$$#$(/bin/date +%s)#$PWD#\033[1024D\033[K\]'$PS1
     1.9  }
    1.10  
    1.11  _l3_tamper_editors()
    1.12 @@ -205,3 +205,20 @@
    1.13          }   >&2 
    1.14      fi
    1.15  }
    1.16 +
    1.17 +# Append lines from "$@" files to the end of the shell history
    1.18 +hist_append () 
    1.19 +{ 
    1.20 +    eval $(cat "$@" | sed 's/"/\\\\"/g' | while read line; do echo history -s \"$line\"\;; done); 
    1.21 +}
    1.22 +
    1.23 +l3_save_last_line ()
    1.24 +{
    1.25 +    (
    1.26 +    echo '<cline>'
    1.27 +    history 1 | sed 's/&/&amp;/; s/</\&lt;/g; s/>/\&gt;/g'
    1.28 +    echo '</cline>'
    1.29 +    ) >> $L3_HOME/$L3_SESSION_ID.info
    1.30 +}
    1.31 +
    1.32 +