Re: Intend to remove lintian.log from lintian.d.o (please migrate to the .gz variant)

2018-02-17 Thread Niels Thykier
Niels Thykier: > Hi, > > [...] > Please migrate any usage of "https://lintian.debian.org/lintian.log; to > "https://lintian.debian.org/lintian.log.gz; (and update the code to > decompress as necessary). > > I intend to remove the uncompressed variant in 14 days from now, if I do > not hear a

Re: Intend to remove lintian.log from lintian.d.o (please migrate to the .gz variant)

2018-02-13 Thread Pierre-Elliott Bécue
Le samedi 03 février 2018 à 10:17:00+, Niels Thykier a écrit : > Hi, > > I have been looking at optimizing the disk usage of the generated > lintian.d.o website. This optimization is (among other) to reduce the > upload time for deploying a new version of the website. My initial > tweak

Re: Intend to remove lintian.log from lintian.d.o (please migrate to the .gz variant)

2018-02-04 Thread Niels Thykier
Paul Wise: > On Sat, Feb 3, 2018 at 6:17 PM, Niels Thykier wrote: > >> Please migrate any usage of "https://lintian.debian.org/lintian.log; to >> "https://lintian.debian.org/lintian.log.gz; (and update the code to >> decompress as necessary). > > Done in git for the repos I have checked out: >

Re: Intend to remove lintian.log from lintian.d.o (please migrate to the .gz variant)

2018-02-03 Thread Paul Wise
On Sat, Feb 3, 2018 at 6:17 PM, Niels Thykier wrote: > Please migrate any usage of "https://lintian.debian.org/lintian.log; to > "https://lintian.debian.org/lintian.log.gz; (and update the code to > decompress as necessary). Done in git for the repos I have checked out:

Intend to remove lintian.log from lintian.d.o (please migrate to the .gz variant)

2018-02-03 Thread Niels Thykier
Hi, I have been looking at optimizing the disk usage of the generated lintian.d.o website. This optimization is (among other) to reduce the upload time for deploying a new version of the website. My initial tweak have removed 20% of the disk size[1]. However, we are now at the point where the