fix: in recent versions of Docker, the /.dockerinit file doesn't exist; use /.dockerenv instead [ci skip]

Signed-off-by: Jason Roehm <jasonr@3db-labs.com>
This commit is contained in:
Jason Roehm 2016-04-26 21:41:52 -04:00
parent c01ff1f54b
commit 0ace42cdb9

View file

@ -57,7 +57,7 @@ before_script:
# WARNING: Use this only with the Docker executor, if you use it with shell
# you will overwrite your user's SSH config.
- mkdir -p ~/.ssh
- '[[ -f /.dockerinit ]] && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config'
- '[[ -f /.dockerenv ]] && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config'
```
As a final step, add the _public_ key from the one you created earlier to the