Docker_inst.rb updt