Merge branch 'master' into 1880-check-duplicate-public-key

[arvados.git] / docker / config.rb

diff --git a/docker/config.rb b/docker/config.rb
index 81642bfb4117713444ef14c2fca3b8d044f66ecb..c66352435629cb0f39b9c432a05a0b5d701b9b52 100755 (executable)
--- a/docker/config.rb
+++ b/docker/config.rb
@@ -1,6 +1,7 @@
 #! /usr/bin/env ruby
 
 require 'yaml'
+require 'fileutils'
 
 # Initialize config settings from config.yml
 config = YAML.load_file('config.yml')
@@ -57,3 +58,13 @@ Dir.glob('*/*.in') do |template_file|
   end
   output.close
 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.key?('PUBLIC_KEY_PATH') &&
+    ! (config['PUBLIC_KEY_PATH'] == '') &&
+    File.readable?(config['PUBLIC_KEY_PATH'])
+  FileUtils.cp(config['PUBLIC_KEY_PATH'],
+               File.join(generated_dir, 'id_rsa.pub'))
+end