Fix ssh command quoting

SSH only takes a simple string as command to send to the remote end 1 . In other words, ssh has to concatenate all arguments with a space as separator. Example: $ ssh stbuehler.de echo Hello World Hello World In this case, my local ssh program gets the command ['echo', 'Hello', 'World'] from the system, build the command string 'echo Hello World' from, sends it to my server, and the ssh process…