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