1.1 --- a/l3bashrc	Thu Dec 03 12:23:22 2009 +0200
     1.2 +++ b/l3bashrc	Mon Nov 28 13:26:46 2011 +0200
     1.3 @@ -96,7 +96,12 @@
     1.4      flush="-f"                          #linux
     1.5      [ -n "$bsd" ] && flush="-t 0"       #freebsd
     1.6      export L3_PARENT_TTY=`/usr/bin/tty`
     1.7 +    if [ -n "$bsd" ]
     1.8 +    then
     1.9 +    exec script $flush -q $L3_HOME/${L3_SESSION_ID}.script ${0#-}
    1.10 +    else
    1.11      exec script $flush -c ${0#-} -q $L3_HOME/${L3_SESSION_ID}.script
    1.12 +    fi
    1.13  }
    1.14  
    1.15  # ===================== STAGE 2 ============================