### default variables ### [ -z "$PATCHDIR" ] && export PATCHDIR="$PWD" ### functions ### function getpatch { url=$1 filename=$(basename $url) if [ -f "$PATCHDIR/$filename" ]; then cp "$PATCHDIR/$filename" $TMPDIR || die else wget $url -O $TMPDIR/$filename || die fi }