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
..
completions	completions: add checkinstall	2023-11-19 09:42:37 -08:00
functions	Add __fish_anypager helper	2023-11-20 17:16:35 +01:00
groff
tools	Refresh and fix some web config bugs	2023-10-15 13:00:26 -07:00
__fish_build_paths.fish.in
config.fish	share/config.fish: Skip __fish_set_locale if $LANG is already set	2023-09-09 15:53:20 +02:00