Module ConfigFiles

# File tool/config_files.rb, line 4
def ConfigFiles.download(name, dir = nil)
  data = URI(self % name).read
  file = dir ? File.join(dir, name) : name
  open(file, "wb", 0755) {|f| f.write(data)}
end