On 7/1/24 10:35 AM, Andreas Schwab wrote:
The wrong thing is that the history contains commands that were never
executed: echo 13456 and echo 21234.
This is the result of changes to non-incremental search to make it behave
more consistently like incremental search, which has always behaved like
The wrong thing is that the history contains commands that were never
executed: echo 13456 and echo 21234.
--
Andreas Schwab, SUSE Labs, sch...@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."
On 7/1/24 8:40 AM, Andreas Schwab wrote:
On Jul 01 2024, Chet Ramey wrote:
On 7/1/24 3:54 AM, Andreas Schwab wrote:
So what did change in 5.3 that this is now broken?
If you want to report a bug, report one. Be specific about what you
think is wrong and what you think the correct behavior i
On Jul 01 2024, Chet Ramey wrote:
> On 7/1/24 3:54 AM, Andreas Schwab wrote:
>
>> So what did change in 5.3 that this is now broken?
>
> If you want to report a bug, report one. Be specific about what you
> think is wrong and what you think the correct behavior is.
The correct behvious is not to
On 7/1/24 3:54 AM, Andreas Schwab wrote:
So what did change in 5.3 that this is now broken?
If you want to report a bug, report one. Be specific about what you
think is wrong and what you think the correct behavior is.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
On Jun 27 2024, Chet Ramey wrote:
> It took me a long time to figure this out, and it's completely dependent
> on this particular set of data. You have `histappend' set (it's set by
> default, but this would happen anyway because you have fewer history lines
> added during that shell session than
On 6/19/24 9:45 AM, Andreas Schwab wrote:
$ printf 'echo 1234\necho 2345\necho 3456\n' > history
$ HOME=$PWD HISTFILE=history TERM=xterm bash --norc -i
<<<$'\20\eb1\e[5~\nhistory\n\20\20\eb2\e[5~\nhistory'
bash-5.3$ echo 1234
1234
bash-5.3$ history
1 echo 1234
2 echo 2345
3 ech
$ printf 'echo 1234\necho 2345\necho 3456\n' > history
$ HOME=$PWD HISTFILE=history TERM=xterm bash --norc -i
<<<$'\20\eb1\e[5~\nhistory\n\20\20\eb2\e[5~\nhistory'
bash-5.3$ echo 1234
1234
bash-5.3$ history
1 echo 1234
2 echo 2345
3 echo 13456
4 echo 1234
5 history
bash-5.
