mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-03-01 00:47:39 +08:00
b11db052cb
After deleting a history item with
history delete --exact --case-sensitive the-item
it is still reachable by history search until the shell is restarted.
Let's fix this by saving history after each deletion. The non-exact variants
of "history delete" already do this. I think this was just an oversight
owed to the fact that hardly anyone uses "--exact" (else we would surely
have changed it to not require an explicit "--case-sensitive").
(cherry picked from commit 326e62515bfd2e96e05cf065f63bb4d312a89000)
Fixes #10066