lilalo

diff l3bashrc @ 142:e939c147dcdd

Добавлен l3pre.php --- mediawiki extension, предназначенный для вставки на wiki фрагментов журнала
author igor@chub.in
date Tue Jul 22 00:16:20 2008 +0300 (2008-07-22)
parents 42d9af3c851c
children 1cbdfdde1274
line diff
     1.1 --- a/l3bashrc	Thu Mar 13 12:22:31 2008 +0200
     1.2 +++ b/l3bashrc	Tue Jul 22 00:16:20 2008 +0300
     1.3 @@ -96,7 +96,7 @@
     1.4      flush="-f"                          #linux
     1.5      [ -n "$bsd" ] && flush="-t 0"       #freebsd
     1.6      export L3_PARENT_TTY=`/usr/bin/tty`
     1.7 -    exec script $flush -q $L3_HOME/${L3_SESSION_ID}.script
     1.8 +    exec script $flush -c $0 -q $L3_HOME/${L3_SESSION_ID}.script
     1.9  }
    1.10  
    1.11  # ===================== STAGE 2 ============================