## flush file changes to disk every 5 minutes. ##
## most useful when working on code that will crash the box, 
## thus losing recent work.


echo "starting periodic sync/flush script"

while :
do
flush
sleep 300
done