ronnie
2022-10-23 c843c92e9e45fb6ff0fc60f21f9832819bec8e23
1
2
3
4
5
6
7
8
9
10
11
#!/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'