From c5c28eb05b89e8dc095da1593b63ea53862800c8 Mon Sep 17 00:00:00 2001 From: sharkdp Date: Sat, 9 Jan 2021 21:28:55 +0100 Subject: [PATCH] --diagnostic: add MANPAGER environment variable --- src/bin/bat/main.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/bin/bat/main.rs b/src/bin/bat/main.rs index c3ae75ae..13d5ddb5 100644 --- a/src/bin/bat/main.rs +++ b/src/bin/bat/main.rs @@ -237,10 +237,10 @@ fn run() -> Result { .info(EnvironmentVariables::list(&[ "SHELL", "PAGER", + "BAT_PAGER", "BAT_CACHE_PATH", "BAT_CONFIG_PATH", "BAT_OPTS", - "BAT_PAGER", "BAT_STYLE", "BAT_TABS", "BAT_THEME", @@ -248,6 +248,7 @@ fn run() -> Result { "XDG_CACHE_HOME", "COLORTERM", "NO_COLOR", + "MANPAGER", ])) .info(FileContent::new("Config file", config_file())) .info(CompileTimeInformation::default())