On Fri, 13 Jan 2017, Riccardo (Jack) Lucchetti wrote:
On Fri, 13 Jan 2017, Allin Cottrell wrote:
> On Fri, 13 Jan 2017, Sven Schreiber wrote:
>
>> Hi,
>> would it be too difficult (or have unwanted side effects) to enable
>> several 'set' instructions on a single line, as in:
>> "set echo off, messages off" ?
A less general point: do you ever, ever, leave "messages" and "echo"
in
different states? I, personally, don't.
Hmm, No, probably not.
Actually, for anything exceeding 10 lines, my first 2 are routinely
devoted
to turning both off. On the other hand, it's clearly nice to have them both
on when teaching.
Perhaps (bar the obvious backward compatibility problem) we could reformulate
this via something like
set verbose [on | off | echo | messages ]
defaulting to "off" if possible.
The minimal, backward-compatible change here -- and I quite like the
idea -- would be to enable
set verbose off | on
meaning set both echo and messages off or on. And if there's really no
market for manipulating "echo" and "messages" independently we could
undocument them (while still handling them for compatibility).
Allin