update-hib.py
changeset 6 0c6d2ed2cd7c
parent 5 b6a3b0987bfc
child 7 9aadddc2ba90
--- a/update-hib.py	Sun Nov 11 14:31:34 2012 -0500
+++ b/update-hib.py	Wed Dec 12 22:16:26 2012 -0500
@@ -128,6 +128,7 @@
               "32-bit"        : ("x86",),
               "64-bit"        : ("x64",),
               "(HD)"          : ("HD",),
+              "(MP3)"         : ("MP3",),
               }
     def __init__(self, dltype, dom):
         self.dltype = dltype
@@ -310,6 +311,7 @@
     import urllib.request
     import urllib.parse
     import os
+    urlfile = open('http-download.sh','w')
     opener = urllib.request.build_opener()
     for dl in (dl for dl in downloads):
         if dl.torrent:
@@ -326,6 +328,9 @@
                 logging.exception("Error with download %r", dl)
         else:
             logging.info("No torrent, url is %s", dl.web)
+            fn = os.path.basename(urllib.parse.urlsplit(dl.web).path)
+            urlfile.write("wget --progress=bar -P ../packages/ -c -o %s \"%s\"\n" % (fn,dl.web))
+            
 
 
 if __name__ == '__main__':