From a058ef8799294d5fd697c1cb921a2ed70a2a0961 Mon Sep 17 00:00:00 2001 From: Buddy Sandidge Date: Tue, 22 Dec 2020 23:28:24 -0800 Subject: [PATCH] Clean up bat config --- bat/.config/bash/bashrc.d/bat.sh | 2 +- bat/.config/profile/env.d/bat.env | 3 ++- bat/.config/profile/profile.d/bat.sh | 3 --- 3 files changed, 3 insertions(+), 5 deletions(-) delete mode 100644 bat/.config/profile/profile.d/bat.sh diff --git a/bat/.config/bash/bashrc.d/bat.sh b/bat/.config/bash/bashrc.d/bat.sh index ad27953..230f9ad 100644 --- a/bat/.config/bash/bashrc.d/bat.sh +++ b/bat/.config/bash/bashrc.d/bat.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash if command -v bat &> /dev/null ; then - alias cat='bat --pager=never' + alias cat=bat fi diff --git a/bat/.config/profile/env.d/bat.env b/bat/.config/profile/env.d/bat.env index f7f5376..2fda846 100644 --- a/bat/.config/profile/env.d/bat.env +++ b/bat/.config/profile/env.d/bat.env @@ -1,4 +1,5 @@ #shellcheck disable=SC2034 -BAT_THEME=zenburn +BAT_PAGER=never BAT_STYLE=plain +BAT_THEME=zenburn MANPAGER="sh -c 'col -bx | bat -l man -p'" diff --git a/bat/.config/profile/profile.d/bat.sh b/bat/.config/profile/profile.d/bat.sh deleted file mode 100644 index f15c739..0000000 --- a/bat/.config/profile/profile.d/bat.sh +++ /dev/null @@ -1,3 +0,0 @@ -batdiff () { - git diff --name-only --diff-filter=d | xargs bat --diff -}