target.extraOptions fails to deal with spaces

[jonasnick]

A normal usage of SSH is to execute ssh -i id. target.extraOptions expects that there's no space between -i and id. If there is, then it fails with a difficult to understand error message (note the double space before id)

Warning: Identity file  id not accessible: No such file or directory.

The corresponding krops-configuration.nix contains [...] -e ssh -i\\\ id.

CC @erikarvstedt

[4z3]

The quoting of arguments is intentional. You can use ["-i" "id"] to achieve the desired behavior.

Warning: Identity file id not accessible: No such file or directory.

That's indeed an unfortunate error message. :)

[jonasnick]

It's indeed pretty clear what to do once you figure out what the issue is (["-iid"] works too). Since that took me a long time, it may be worth to mention in the README at least (or perhaps change the example to "-o" "LogLevel=DEBUG").