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 ============================