From 833cf11aa82d46fdcb94b51761c78f5848074ec5 Mon Sep 17 00:00:00 2001 From: ver4a Date: Fri, 21 Mar 2025 17:42:59 +0100 Subject: [PATCH] Make bat manpager exit on SIGINT --- etc/profile.d/bat-manpager.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/profile.d/bat-manpager.sh b/etc/profile.d/bat-manpager.sh index 59d411c..d4877af 100644 --- a/etc/profile.d/bat-manpager.sh +++ b/etc/profile.d/bat-manpager.sh @@ -1,2 +1,2 @@ -export MANPAGER="sh -c 'col -bx | bat -l man --decorations=never --paging=always'" +export MANPAGER="sh -c 'col -bx | bat -l man --decorations=never --paging=always --pager \"less -RFK\"'" export MANROFFOPT="-c"