Proxy-ssh only displays the port number that must be used for reaching
this server via SSH.
Command to run on your desktop to connect to the platform using ssh.
Please note that you must add your public key to ~/my-space/ssh/.ssh/authorized_keys
To connect, use:
ssh -p 4002 user@<URL>
Replace <URL> with the correct value from your installation.