diff options
author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-05-12 21:30:12 +0200 |
---|---|---|
committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-05-12 21:30:12 +0200 |
commit | 663f04f8f35e071618b8fa271297740ce1dfea63 (patch) | |
tree | fe59007ccd1d50d8f9355932c16341ddef998c58 | |
parent | 77c01f6caa7cd6709d8323e760896f16b37a3fd5 (diff) |
The objective of man -w is to determine if man has located the requested
manual page. We need to silence the stdout not the stderr, otherwise we
send the output to Dillo, which would confuse the parser.
-rwxr-xr-x | man.filter.dpi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man.filter.dpi b/man.filter.dpi index afe880e..67d8a18 100755 --- a/man.filter.dpi +++ b/man.filter.dpi @@ -62,7 +62,7 @@ serve_manpage() { serve_404 exit 0 fi - if ! man -w $manpage 2>/dev/null; then + if ! man -w $manpage >/dev/null; then apropos=$(echo "$cleanref" | sed 's/(.*)//') serve_404 "$manpage" "$apropos" else |