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