#! /bin/zsh -f date=(`date +%F`) subject=(`echo $1 | sed -e "s/ /-/g"`) filename=~/sessions/${date}-${subject}.sessionscript timingfile=~/sessions/${date}-${subject}.timing #echo Recording session $1 as $filename if [ -d ~/sessions ] ; then sleep 0.05s else mkdir ~/sessions fi script -f $filename cd ~/sessions git add ${date}-${subject}.sessionscript ${date}-${subject}.timing git commit