#!/bin/sh -e if [ "$1" = "" ]; then echo "Usage: $0 " 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'