Skip to content

Parameters

SSH
A shell script to run via ssh like this:
ssh genie.datatools@projects-storage.eclipse.org "
set -e
set -x
cd /home/data/httpd/download.eclipse.org/datatools/
$SSH
"