Idea: add ssh configuration tool
I propose to streamline this tutorial and wrap it into a simple script that would:
- Create the correct ssh config if it's missing
- Generate an ssh key
- Run ssh-copy-id
- Populate dask's own config with the username
- Optionally it could invite the user to copy the ssh key to gitlab
Questions:
- Is it actually worth? Going through the steps isn't a lot of work, but it is frequently disorienting to new users.
- Is this repo the right place for this script?