![]() 1. If there is no man page found (error 16), then echo stderr text. 2. For other kinds of errors, fail with stderr text so that command can propagate through a try/catch. |
||
---|---|---|
.. | ||
detection | ||
filetype | ||
tools | ||
windowing |
![]() 1. If there is no man page found (error 16), then echo stderr text. 2. For other kinds of errors, fail with stderr text so that command can propagate through a try/catch. |
||
---|---|---|
.. | ||
detection | ||
filetype | ||
tools | ||
windowing |