> Did you switch terminals in between or reset it?
No it was all in the same terminal - not even a re-login via ssh
> Those should not be related, it sounds more like a terminal screwup.
> Like, sometimes, at least in gnome-terminal, it reaches a point where
> readline and friends fail for some
Did you switch terminals in between or reset it?
Those should not be related, it sounds more like a terminal screwup.
Like, sometimes, at least in gnome-terminal, it reaches a point where
readline and friends fail for some reason.
--
You received this bug notification because you are a member o
2 matches
Mail list logo