Skip to content

Parameters

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)