G5K: Avoid local SSH configuration for jump host
So far, we rely on the user configuring their ~/.ssh/config
correctly to use the Grid'5000 SSH jump host: https://discovery.gitlabpages.inria.fr/enoslib/tutorials/grid5000.html#external-access-from-your-laptop
This is inconvenient when using Enoslib in a larger project. Our downstream project could automatically setup an appropriate ~/.ssh/config
before using Enoslib, but I don't like fiddling with sensitive user config files.
Enoslib can probably setup the right SSH configuration automatically by passing connection parameters to Ansible. This would have the added benefit of being more consistent, and we could then improve these SSH settings in Enoslib (e.g. for #147 (closed))
There's one thing we have no control over: the private SSH key of the user. We could add it as a parameter so that the user can specify it if it's a non-default path. Also, the Grid'5000 username to use for SSH probably needs to be configurable as well.
Related: #147 (closed)