| 1234567891011121314151617181920 |
- #! /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
|
