Raspberry Pi port, piCore-15.0 is available!
FILENAME="SomeFile.tcz"[ -f "$FILENAME" ] || w_get http://blah/blah/blah/"$FILENAME"