#!/bin/sh set -e cd $HOME/.configs HOST=`hostname` export HOST cache=cache/$HOST%$DISPLAY newcache=cache/.$$@$HOST trap 'rm -f $newcache; exit 0' 0 if cat $cache 2>/dev/null; then exit 0; fi ./checkconfig | tee $newcache mv $newcache $cache