diff options
author | June McEnroe <june@causal.agency> | 2021-03-06 01:44:20 -0500 |
---|---|---|
committer | June McEnroe <june@causal.agency> | 2021-03-06 01:54:07 -0500 |
commit | f648883f7d065471c7cd2ed6295ce2c295272324 (patch) | |
tree | 63f24173a5fd14cd11c62e0bd4abec22a3230caa /doc/rfc/rfc.in | |
parent | Remove rfc.vim (diff) | |
download | src-f648883f7d065471c7cd2ed6295ce2c295272324.tar.gz src-f648883f7d065471c7cd2ed6295ce2c295272324.zip |
Optionally compress RFCs, decompress in rfc(1)
Diffstat (limited to '')
-rw-r--r-- | doc/rfc/rfc.in | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/doc/rfc/rfc.in b/doc/rfc/rfc.in index 958b09da..16081c83 100644 --- a/doc/rfc/rfc.in +++ b/doc/rfc/rfc.in @@ -1,8 +1,19 @@ #!/bin/sh set -eu +mktemp='mktemp -t rfc' +[ "$(uname)" = 'OpenBSD' ] && mktemp="${mktemp}.XXXXXXXXXX" + rfc=%%PREFIX%%/share/rfc/"rfc${1:--index}.txt" -tags=$(mktemp -t rfc.XXXXXXXXXX) +tags=$($mktemp) trap 'rm "${tags}"' EXIT + +if test -f "${rfc}.gz"; then + txt=$($mktemp) + trap 'rm "${txt}" "${tags}"' EXIT + gunzip -c "${rfc}.gz" >"${txt}" + rfc=$txt +fi + %%PREFIX%%/bin/rfctags "${rfc}" >"${tags}" ${PAGER:-less} -T "${tags}" "${rfc}" |