diff options
| -rw-r--r-- | TODO | 1 | ||||
| -rwxr-xr-x | bin/reproducible_scheduler.py | 6 |
2 files changed, 4 insertions, 3 deletions
@@ -41,6 +41,7 @@ See link:https://jenkins.debian.net/userContent/about.html["about jenkins.debian * etc/pbuilderrc: remove /run/shm bindmount once we are running jessie - this is a workaround for #700591 * bin/g-i-installation: use lvcreate without --virtualsize * check if the sudo workaround in bin/g-i-installation is still needed: 'guestmount -o uid=$(id -u) -o gid=$(id -g)' would be nicer, but it doesnt work: as root, the files seem to belong to jenkins, but as jenkins they cannot be accessed. +* reproducible: let the scheduler use the xz-compressed file instead of the gzip one. This is because of missing lzma module in wheezy's python. === To be done once bugs are fixed diff --git a/bin/reproducible_scheduler.py b/bin/reproducible_scheduler.py index c4071b76..ccc58974 100755 --- a/bin/reproducible_scheduler.py +++ b/bin/reproducible_scheduler.py @@ -10,7 +10,7 @@ # Schedule packages to be build. import sys -import lzma +import gzip import deb822 import aptsources.sourceslist from time import sleep @@ -54,9 +54,9 @@ def check_suite_avail(suite): def update_sources_tables(suite): # download the sources file for this suite mirror = 'http://ftp.de.debian.org/debian' - remotefile = mirror + '/dists/' + suite + '/main/source/Sources.xz' + remotefile = mirror + '/dists/' + suite + '/main/source/Sources.gz' log.info('Downloading sources file for ' + suite + ': ' + remotefile) - sources = lzma.decompress(urlopen(remotefile).read()).decode() + sources = gzip.decompress(urlopen(remotefile).read()).decode() log.debug('\tdownloaded') # extract relevant info (package name and version) from the sources file new_pkgs = [] |