Utilities and hints for Raspberry Pi

setupcommands.txt -- how I set up a new rpi

shutdowndaemon.py -- background process to shut down pi cleanly when gpio pin is shorted to ground (e.g. by a switch)

Other things for timed actions