+dir="$1"; shift
+if [ -z "$dir" ]; then
+ dir=.
+fi
+
+# this file needs to have our sourceforge password in it.
+PASSWORD_FILE="$HOME/.secrets/sourceforge_password"
+
+if [ ! -f "$PASSWORD_FILE" ]; then
+ echo "This script requires a password stored in the file:"
+ echo " $PASSWORD_FILE"
+ exit 1
+fi
+
+pushd "$dir"