فهرست منبع

Now records timing file

Samuel W. Flint 10 سال پیش
والد
کامیت
c82dc7d3c1
1فایلهای تغییر یافته به همراه1 افزوده شده و 1 حذف شده
  1. 1 1
      script-session

+ 1 - 1
script-session

@@ -14,7 +14,7 @@ else
     mkdir ~/sessions
 fi
 
-script -f $filename
+script -f ${filename} -t ${timingfile}
 
 cd ~/sessions
 git add ${date}-${subject}.sessionscript ${date}-${subject}.timing