On 2017-10-24 at 08:15, Greg Wooledge wrote: > On Tue, Oct 24, 2017 at 07:31:32AM -0400, The Wanderer wrote: > >>> clear_console clears your console if this is possible. It looks in the > >> That program is shipped as part of bash, so it looks as if this might >> actually be considered a bash bug. I'd see about reporting it there, yes >> - either in Debian or upstream. > > Definitely not upstream. > > wooledg:/usr/src/bash$ tar xzf bash-4.3.30.tar.gz > wooledg:/usr/src/bash$ cd bash-4.3.30 > wooledg:/usr/src/bash/bash-4.3.30$ grep -ri clear_console . > wooledg:/usr/src/bash/bash-4.3.30$ > > I'd never even heard of it until now. It's definitely a Debian add-on.
Thanks. I hadn't considered checking that way, but it's good to have this confirmed. -- The Wanderer The reasonable man adapts himself to the world; the unreasonable one persists in trying to adapt the world to himself. Therefore all progress depends on the unreasonable man. -- George Bernard Shaw
signature.asc
Description: OpenPGP digital signature
