blob: b4e24f1233c8a5f57b081748a06c01311c6fdbfd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
This patch makes sure that w3m or others will not pollute $HOME/
--- ./xmlto.in.orig 2011-11-29 12:49:57.000000000 +0100
+++ ./xmlto.in 2013-10-07 23:52:57.000000000 +0200
@@ -611,4 +611,6 @@
# Extremely verbose
BASH="${BASH} -x"
fi
+make_temp -d temphome HOME || exit 1
+export HOME
${BASH} "$FORMAT" post-process || exit 1
|