configure

   1 #!/bin/sh
   2
   3 set -e
   4 cd $HOME/.configs
   5 HOST=`hostname`
   6 export HOST
   7 cache=cache/$HOST%$DISPLAY
   8 newcache=cache/.$$@$HOST
   9 trap 'rm -f $newcache; exit 0' 0
  10 if cat $cache 2>/dev/null; then exit 0; fi
  11 ./checkconfig | tee $newcache
  12 mv $newcache $cache