diff options
| author | Colin Watson <cjwatson@debian.org> | 2016-01-29 15:57:12 (GMT) |
|---|---|---|
| committer | Colin Watson <cjwatson@debian.org> | 2016-01-29 15:57:12 (GMT) |
| commit | e03850adc13e0887e3e45f666b05b4be1e4f5b8d (patch) | |
| tree | 3171ecd9058ca0408daa87f291404adf67c5e2f3 | |
| parent | 0cd8e4ea8e4e70cb940b1b429500ff0267a00291 (diff) | |
Run /usr/lib/ghc-doc/gen_contents_index from ghc-doc.postinst with HOME set to a temporary directory, so that it doesn't pick up stray user configuration and so that it works reliably in autopkgtests.
| -rw-r--r-- | p/ghc/debian/changelog | 5 | ||||
| -rw-r--r-- | p/ghc/debian/ghc-doc.postinst | 5 |
2 files changed, 9 insertions, 1 deletions
diff --git a/p/ghc/debian/changelog b/p/ghc/debian/changelog index 14cf940..e1d6eb4 100644 --- a/p/ghc/debian/changelog +++ b/p/ghc/debian/changelog @@ -5,6 +5,11 @@ ghc (7.10.3-7) UNRELEASED; urgency=medium * Tighten build-depends on ghc; this does not build against 7.6 any more, so let's use the 7.8 already in backports. + [ Colin Watson ] + * Run /usr/lib/ghc-doc/gen_contents_index from ghc-doc.postinst with HOME + set to a temporary directory, so that it doesn't pick up stray user + configuration and so that it works reliably in autopkgtests. + -- Gianfranco Costamagna <locutusofborg@debian.org> Thu, 28 Jan 2016 12:58:01 +0100 ghc (7.10.3-6) unstable; urgency=medium diff --git a/p/ghc/debian/ghc-doc.postinst b/p/ghc/debian/ghc-doc.postinst index 95df9aa..4b0760d 100644 --- a/p/ghc/debian/ghc-doc.postinst +++ b/p/ghc/debian/ghc-doc.postinst @@ -23,7 +23,10 @@ set -e case "$1" in triggered|configure) if test -x /usr/bin/ghc-pkg; then /usr/bin/ghc-pkg recache --global; fi - /usr/lib/ghc-doc/gen_contents_index + tmpdir="$(mktemp -d)" + cleanup () { rmdir "$tmpdir"; } + trap cleanup EXIT + HOME="$tmpdir" /usr/lib/ghc-doc/gen_contents_index ;; abort-upgrade|abort-remove|abort-deconfigure) ;; |