#!/bin/sh 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 mkdir ~/sessions fi script -f ${filename} --timing=${timingfile} cd ~/sessions git add ${date}-${subject}.sessionscript ${date}-${subject}.timing git commit cd $currentdir