## 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