From b66256f83a108ee69c62a2efc74bd53e0909982c Mon Sep 17 00:00:00 2001 From: Alexander Hess Date: Tue, 12 Jul 2022 02:18:10 +0200 Subject: [PATCH] Add config for batcat, the nicer cat --- .config/bat/config | 6 ++++++ .config/shell/init_dotfiles.sh | 2 +- .profile | 2 ++ 3 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 .config/bat/config diff --git a/.config/bat/config b/.config/bat/config new file mode 100644 index 0000000..c14fa05 --- /dev/null +++ b/.config/bat/config @@ -0,0 +1,6 @@ +--theme="TwoDark" + +--style="numbers,changes,header" + +--map-syntax ".flake8:ini" +--map-syntax "poetry.lock:toml" diff --git a/.config/shell/init_dotfiles.sh b/.config/shell/init_dotfiles.sh index 9cb7c40..14dba68 100755 --- a/.config/shell/init_dotfiles.sh +++ b/.config/shell/init_dotfiles.sh @@ -20,7 +20,7 @@ git clone --bare git@git.webartifex.biz:alexander/dotfiles.git "$HOME/.dotfiles" # Backup old dotfiles rm -rf "$HOME/.dotfiles.bak" >/dev/null -mkdir -p $HOME/.dotfiles.bak/.config/{git,shell} && \ +mkdir -p $HOME/.dotfiles.bak/.config/{bat,git,shell} && \ /usr/bin/git --git-dir=$HOME/.dotfiles/ --work-tree=$HOME checkout 2>&1 | egrep "\s+\." | awk {'print $1'} | \ xargs -I{} mv {} "$HOME/.dotfiles.bak"/{} diff --git a/.profile b/.profile index d0030d7..677310a 100644 --- a/.profile +++ b/.profile @@ -30,6 +30,8 @@ export REPOS="$HOME/repos" # Configurations for various utilities +export BAT_CONFIG_PATH="$HOME/.config/bat/config" + export LESSHISTFILE="${XDG_CACHE_HOME:-$HOME/.cache}/.lesshst"