Documentation discrepancy for interactive-comments option

Newsgroups	gnu.bash.bug
Date	2019-01-10 13:44 -0800
Message-ID	<b7bd2cc4-0e9c-41c3-bdfe-c1ecc9aa2791@googlegroups.com> (permalink)
Subject	Documentation discrepancy for interactive-comments option
From	ingy@ingy.net

Show all headers | View raw

Greetings,

I noticed that many files in the `doc` directory use `interactive_comments` for the `interactive-comments` set option. (`_` vs `-`). I first noticed this using `man bash`.

This seems to be the case from now back to 3.0. I didn't look further back.

Cheers, Ingy

Back to gnu.bash.bug | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Documentation discrepancy for interactive-comments option ingy@ingy.net - 2019-01-10 13:44 -0800
  Re: Documentation discrepancy for interactive-comments option ingy@ingy.net - 2019-01-20 09:49 -0800

csiph-web