Note:

The resulting page first displays the short manual-page, and further down the more detailed info-page.

Depending on your operating system, some options might vary.

Pages generated on:

BASH_EXECUTION_STRING='set |grep BASH_VERSION' BASH_VERSION='5.0.17(1)-release'