bin-files/script-session

#! /bin/zsh -f

date=(`date +%F`)
subject=(`echo $1 | sed -e "s/ /-/g"`)
filename=~/sessions/${date}-${subject}.sessionscript
timingfile=~/sessions/${date}-${subject}.timing
currentdir=`pwd`

#echo Recording session $1 as $filename

if [ -d ~/sessions ] ; then
    sleep 0.05s
else
    mkdir ~/sessions
fi

script -f ${filename} --timing=${timingfile}

cd ~/sessions
git add ${date}-${subject}.sessionscript ${date}-${subject}.timing
git commit

cd $currentdir