6 Jan
2020
6 Jan
'20
9:42 p.m.
Seems the man page for bash is longer than Steve's original source:
ehg% pwd
/sys/editions/unix/7e/usr/src/cmd/sh
ehg% wc -l *.[ch] | tail -1
4111 total
On Jan 6, 2020, at 8:53 AM, Chet Ramey
<chet.ramey(a)case.edu> wrote:
On 1/5/20 4:21 PM, Dave Horsfall wrote:
On Sat, 4 Jan 2020, Chet Ramey wrote:
Yes, that's what I
meant.
It was the Sys III shell; I have a v7 shell that's apparently not the
original.
Which
reminds me: which Shell introduced "#" as a true comment?
Define "true comment." The v7 shell had `#' as the comment character, but
it only worked when in non-interactive shells. I think it was the Sys III
shell that made it work when the shell was interactive. I never did catch up with all the options on the
various shells; I just
stick with the defaults in general. Eg:
aneurin% man bash | wc -l
5947
$ wc -l doc/bash.0
6206 doc/bash.0
I still get reports that things are not documented in sufficient detail.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU chet(a)case.edu http://tiswww.cwru.edu/~chet/