1 files changed, 13 insertions, 0 deletions
diff --git a/tool/config_files.rb b/tool/config_files.rb
new file mode 100755
index 0000000000..998b8b72ec
--- /dev/null
+++ b/tool/config_files.rb
@@ -0,0 +1,13 @@
+#!/usr/bin/ruby
+require 'open-uri'
+
+ConfigFiles = "http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=%s;hb=HEAD"
+def ConfigFiles.download(name, dir = nil)
+  data = open(self % name, &:read)
+  file = dir ? File.join(dir, name) : name
+  open(file, "wb", 0755) {|f| f.write(data)}
+end
+
+if $0 == __FILE__
+  ARGV.each {|n| ConfigFiles.download(n)}
+end