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 | 9d1dcf1b3ac31b3cfe4f44c0d74a8decae0c333a (patch) | |
tree | 113263230d1e8c8061b7fd5f138f47ceca2da4d5 /doc/rfc/rfc.in | |
parent | Remove rfc.vim (diff) | |
download | src-9d1dcf1b3ac31b3cfe4f44c0d74a8decae0c333a.tar.gz src-9d1dcf1b3ac31b3cfe4f44c0d74a8decae0c333a.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}" |