1.1 --- a/l3bashrc	Tue Mar 16 20:05:30 2010 +0200
     1.2 +++ b/l3bashrc	Mon Nov 28 13:15:16 2011 +0200
     1.3 @@ -112,7 +112,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 ============================