From c7043284667b6d1ffd121113bb997dbf3c3f8e7b Mon Sep 17 00:00:00 2001 From: Ade Attwood Date: Fri, 30 Apr 2021 20:46:58 +0100 Subject: [PATCH] fix(zsh): set the BAT_THEME variable to theme bat cli tool Setting the bat theme so the cli tool will now integrate better with the shell theme --- site-modules/core/files/zshrc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/site-modules/core/files/zshrc b/site-modules/core/files/zshrc index 24db80f..0e5efea 100644 --- a/site-modules/core/files/zshrc +++ b/site-modules/core/files/zshrc @@ -110,6 +110,10 @@ if [ -d "${PHPENV_ROOT}" ]; then eval "$(phpenv init -)" fi +# Export the bat theme to integrate with base16 nicely +# https://github.com/sharkdp/bat#highlighting-theme +export BAT_THEME="base16" + export ANDROID_HOME=$HOME/Android/Sdk export PATH=$PATH:$ANDROID_HOME/emulator export PATH=$PATH:$ANDROID_HOME/tools