On Sat, 4 Jan 2020, Warner Losh wrote:
Also, remember that ":" was also used
as a comment, before "#"
was used.
I thought it was a null label for a goto target... :)
Yes, I'd forgotten that... The Shell, although simple in concept, was
really quite powerful if you knew how to use it.
-- Dave