SSH
SSH=$(echo "$SSH" | sed "s/\r//g")
ssh genie.ls@projects-storage.eclipse.org "
set -e
set -x
cd /home/data/httpd/download.eclipse.org/jdtls/
$SSH
"
input_file
An optional input file to be reference in the given SSH command. The file will be uploaded to /home/data/httpd/download.eclipse.org/jdtls/ and disposed of afterwards.
(No file was uploaded)