On Tue 24 Oct 2017 at 08:29:50 (-0400), The Wanderer wrote:
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.
I looked at my ~/.bash_logout and found I had recrafted it
long enough ago to forget doing it, just after starting to
use jessie.
It uses reset, and I often type reset myself, at times like
when the ssh pipe breaks during emacs -nw which throws you back
to a local bash prompt but with no visible cursor and a broken
command history recall.
Cheers,
David.