X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/9454df6ea65e3afa9586cabea34abc42c328bd65..6b13646940de2e5a62e600f2d7d82c72e3a4ae59:/docker/build_tools/config.rb diff --git a/docker/build_tools/config.rb b/docker/build_tools/config.rb index 7acb888419..ddf923736e 100755 --- a/docker/build_tools/config.rb +++ b/docker/build_tools/config.rb @@ -67,7 +67,7 @@ end # Copy the ssh public key file to base/generated (if a path is given) generated_dir = File.join('base/generated') Dir.mkdir(generated_dir) unless Dir.exists? generated_dir -if (config['PUBLIC_KEY_PATH'] != nil and +if (!config['PUBLIC_KEY_PATH'].nil? and File.readable? config['PUBLIC_KEY_PATH']) FileUtils.cp(config['PUBLIC_KEY_PATH'], File.join(generated_dir, 'id_rsa.pub'))