Documentation fix in CI SSH keys setup
In recent versions of Docker, the /.dockerinit
file doesn't exist any more when running inside a container. That file is used in the example here to detect whether the runner is running inside Docker or not. Change it to check for the existence of /.dockerenv
, which does exist in all current versions of Docker.