Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > gnu.bash.bug > #15042
| X-Received | by 2002:a37:4e8a:: with SMTP id c132mr4799380qkb.13.1547156695255; Thu, 10 Jan 2019 13:44:55 -0800 (PST) |
|---|---|
| X-Received | by 2002:a0c:9955:: with SMTP id i21mr109531qvd.4.1547156695000; Thu, 10 Jan 2019 13:44:55 -0800 (PST) |
| Path | csiph.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!v55no129292qtk.0!news-out.google.com!m21ni62qta.0!nntp.google.com!v55no129283qtk.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail |
| Newsgroups | gnu.bash.bug |
| Date | Thu, 10 Jan 2019 13:44:54 -0800 (PST) |
| Complaints-To | groups-abuse@google.com |
| Injection-Info | glegroupsg2000goo.googlegroups.com; posting-host=2600:1:9827:7f57:2913:96ae:2ca:96a3; posting-account=pcxJQwoAAADtvzEax0Y1y4gB7gdXQ8_G |
| NNTP-Posting-Host | 2600:1:9827:7f57:2913:96ae:2ca:96a3 |
| User-Agent | G2/1.0 |
| MIME-Version | 1.0 |
| Message-ID | <b7bd2cc4-0e9c-41c3-bdfe-c1ecc9aa2791@googlegroups.com> (permalink) |
| Subject | Documentation discrepancy for interactive-comments option |
| From | ingy@ingy.net |
| Injection-Date | Thu, 10 Jan 2019 21:44:55 +0000 |
| Content-Type | text/plain; charset="UTF-8" |
| Lines | 6 |
| Xref | csiph.com gnu.bash.bug:15042 |
Show key headers only | 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
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