|
#!/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'
|