changeset 4504:014735e1e70f

Read and use GUB_DOWNLOAD_CACHE.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Sat, 25 Oct 2008 09:54:30 +0200
parents aeeca70ddc3f
children 81a47962536a
files gub/misc.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/gub/misc.py	Sat Oct 25 09:00:38 2008 +0200
+++ b/gub/misc.py	Sat Oct 25 09:54:30 2008 +0200
@@ -202,7 +202,7 @@
 
 # FIXME: read settings.rc, local, fallback should be a user-definable list
 def download_url (original_url, dest_dir,
-                  local=[],
+                  local=os.environ.get ('GUB_DOWNLOAD_CACHE', '').split (':'),
                   fallback=['http://lilypond.org/download/gub-sources'],
                   progress=sys.stderr.write):