Commit 5f817eaea560403a1cbf049b7cbfaa57d033d2e9 - debian-goodies

dman: Don't store temporary files in the current directory Use $TMPDIR with fallback to /tmp/ instead. Thanks to Paul Wise for the bug report! Closes: #861586 Axel Beckert 6 years ago

2 changed file(s) with 4 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all

-0

debian/changelog less more

3	3	* Add a missed bug report number to the previous changelog entry.
4	4	* Update debman.1 and debget.pod with regards to the <pkg>=<version>
5	5	syntax which is possible since 0.71. (See #453052)
	6	* dman: Don't store temporary files in the current directory, use
	7	$TMPDIR with fallback to /tmp/ instead. Thanks to Paul Wise for the
	8	bug report! (Closes: #861586)
6	9
7	10	[ Antoine Beaupré ]
8	11	* Try unspecified suite for upstream manpages. (Closes: #861522)

-1

dman less more

62	62
63	63	BASE_URL="https://manpages.debian.org"
64	64
65		mandir=`mktemp -d dman.XXXXXX`
	65	mandir=`mktemp --tmpdir="${TMPDIR:-/tmp}" -d dman.XXXXXX`
66	66	trap "rm -rf $mandir" EXIT HUP INT QUIT TERM
67	67	man="$mandir/$PAGE"
68	68	# be careful not to add too many entries in this loop, as each hit can