* tool/config_files.rb: rename class ConfigFiles to Downloader.

* tool/get-config_files: ditto.
* tool/make-snapshot: ditto.

git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@46517 b2dd03c8-39d4-4d8f-98ff-823fe69b080e

1 files changed, 11 insertions, 0 deletions

diff --git a/tool/downloader.rb b/tool/downloader.rb
new file mode 100644
index 0000000000..83554fb19d
--- /dev/null
+++ b/tool/downloader.rb
@@ -0,0 +1,11 @@
+require 'open-uri'
+
+Downloader = "http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=%s;hb=HEAD"
+def Downloader.download(name, dir = nil)
+  uri = URI(self % name)
+  data = uri.read
+  file = dir ? File.join(dir, name) : name
+  open(file, "wb", 0755) {|f| f.write(data)}
+rescue => e
+  raise "failed to download #{name}\n#{e.message}: #{uri}"
+end