Hi Pavel. That doesn't solve my issue, but thank you for trying anyway.
The history output I pasted in the description was:
[EMAIL PROTECTED]:~$ history|tail
494 vi <somefile>
495 mprodb
496 finger
497 ssh <hostomitted>
498 ssh <hostomitted>
499 ssh -vvv <hostomitted>
500 ssh <hostomitted>
501 man geteuid
502 man -k uid
503 history|tail
[EMAIL PROTECTED]:~$
You say 'history command simply show ~/.bash_history file', but that's
not exactly right in my understanding. The shell reads the contents of
~/.bash_history at login into the shell's command history. With each
new command a user runs, the shell appends that command to the shell's
command history. Running the history shell built-in will cause the
shell to output that command history list. Please correct me if I am
mistaken.
In my report above, the history output correctly showed what my actual
command history was in the remote system's currently executing shell.
It's gnome-terminal which displayed the wrong buffer after 'man' exited.
In my case it showed the contents of another terminal's buffer!
I notice you changed this bug's status to incomplete. What data do you
need from me to consider this a bug worth investigating? I don't have
steps to reproduce the bug.. it's very strange that it happens
occasionally, but even stranger that it happens at all. I will keep
working on a way to reproduce it.
Thanks for taking the time to reply to my report.
--
gnome terminal scrollback buffer changed unexpectedly
https://bugs.launchpad.net/bugs/222937
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
