Fabian Boehm ed489d0d52 Add __fish_anypager helper
This makes it easier to get *any pager* in the number of places we do.

Unfortunately:

1. It can't just execute the pager because that might block
2. We can't really set the necessary options for less here
   so they still need to be set outside.

This

Fixes #10074

by falling back to `cat` in that case. We could also decide to abort
instead of using a non-pager, but for history that's probably fine.
2023-11-20 17:16:35 +01: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
2023-04-26 19:38:10 +02:00
2019-05-05 12:09:25 +02:00
2020-11-22 14:39:48 +01: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
2023-11-20 17:16:35 +01:00
2022-01-27 16:21:22 -08:00
2023-09-05 09:19:21 +02:00
2023-11-20 17:16:35 +01:00
2021-12-02 02:22:40 -08:00
2023-11-07 17:45:45 +01:00
2022-09-04 09:18:57 +02:00
2023-06-01 18:20:19 +02:00
2022-01-27 16:21:22 -08:00
2022-04-23 16:35:52 -07:00