Johannes Altmanninger 326e62515b functions/history.fish: also save when called with --exact
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").
2023-03-04 22:24:22 +01:00
..
2022-10-28 10:01:35 -07:00
2019-05-05 12:09:25 +02:00
2019-05-05 12:09:25 +02:00
2019-05-05 12:09:25 +02:00
2019-05-05 12:09:25 +02:00
2020-11-22 14:39:48 +01:00
2020-04-21 21:11:26 +02:00
2022-06-08 21:23:43 +02:00
2022-08-02 00:42:37 -07:00
2022-01-27 16:21:22 -08:00
2022-06-16 18:43:28 +02:00
2022-01-27 16:21:22 -08:00
2022-01-27 16:21:22 -08:00
2022-03-24 20:11:39 +01:00
2023-01-01 19:41:41 -08:00
2021-12-02 02:22:40 -08:00
2021-09-24 18:25:27 +02:00
2022-09-04 09:18:57 +02:00
2022-01-27 16:21:22 -08:00
2022-04-23 16:35:52 -07:00