diff options
Diffstat (limited to 'tool/config_files.rb')
| -rw-r--r-- | tool/config_files.rb | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tool/config_files.rb b/tool/config_files.rb index 676c355e05..24c5989d97 100644 --- a/tool/config_files.rb +++ b/tool/config_files.rb @@ -1,8 +1,11 @@ require 'open-uri' -ConfigFiles = "http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=%s;hb=HEAD" +ConfigFiles = "http://git0.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=%s;hb=HEAD" def ConfigFiles.download(name, dir = nil) - data = URI(self % name).read + 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 |