GitLab

Signed-off-by: Chris Lamb <lamby@debian.org>

Signed-off-by: Chris Lamb <lamby@debian.org>

Fix-committed: #11966

We deleted the intltool-update --report from refresh_translations.
See #11967.

This happened because intltool-update --report does not only report
but modifies all the PO file headers which it should not do.

Here we created an ugly workaround so that only the report is made, and
modified files will be replaced by their original files afterwards.

We need this to be true: exactly 1 line is removed, exactly 1 line is added, and both those lines match the regexp POT-Creation-Date.

We should make sure that exactly 1 line is removed, exactly 1 line is
added, and both those lines match the regexp
^'(?:>|<) "POT-Creation-Date:'

it should only report on translations, but unfortunately
it also modified our PO file headers and overwrites the PO
files.

We'll move this code to a statistics script outside of
refresh_translations.

Modify indentation.
Modify test if a po file exists.
Modify comments to be more verbose.

Install ikiwiki from our builder-jessie APT suite, to make the pagestats plugin output deterministic (refs: #11966).

Patch submitted upstream: https://ikiwiki.info/bugs/pagestats_output_is_not_deterministic/

It causes reproducibility issues and brings little value: e.g.
for non-English pages, it boils down to "when the website was last
refreshed", which is mostly useless information.

Use our custom backport of discount (2.2.1-1~bpo8+1~0.tails1), to fix reproducibility issues (Debian#782315).

This can be dropped once our ISO builders use Stretch.