Files
2023-10-13 14:01:41 +00:00

12 lines
267 B
Bash
Executable File

#!/bin/sh -e
if [ "$1" = "" ]; then
echo "Usage: $0 <sourceforge_username>"
exit 1
fi
USERNAME=$1
ssh $USERNAME,eclemma@shell.sourceforge.net create
ssh $USERNAME,eclemma@shell.sourceforge.net '/home/project-web/eclemma/scripts/publish-jacoco-snapshot.sh'