From: Andre Ramnitz Date: Thu, 10 Oct 2024 21:05:58 +0000 (+0200) Subject: bash: fix pager X-Git-Tag: v0.2~11 X-Git-Url: https://git.ramnitz.eu/?a=commitdiff_plain;h=933769736aeafc1d0de73887cdc6e0dcf5f21f31;p=dotfiles.git bash: fix pager --- diff --git a/home/dot-bash_profile b/home/dot-bash_profile index 480ae747..6bdc697c 100644 --- a/home/dot-bash_profile +++ b/home/dot-bash_profile @@ -5,7 +5,8 @@ export PATH="$PATH:$HOME/Applications:$HOME/go/bin:$HOME/.cargo/bin:/opt/android export EDITOR="kks edit" export VISUAL="kks edit" -export PAGER="bat --style auto --pager" +export MAN_PAGER="sh -c 'col -bx | bat -l man -p'" +export BAT_THEME="base16" export VDPAU_DRIVER=radeonsi export FZF_DEFAULT_OPTS='--multi --layout=reverse --preview-window=down:60% --color fg+:3,hl+:4' diff --git a/home/dot-bashrc b/home/dot-bashrc index 098b6f71..df762eae 100644 --- a/home/dot-bashrc +++ b/home/dot-bashrc @@ -66,9 +66,6 @@ fi # No double entries in the shell history. export HISTCONTROL="$HISTCONTROL erasedups:ignoreboth" -# Do not overwrite files when redirecting output by default. -set -o noclobber - # Wrap the following commands for interactive use to avoid accidental file overwrites. rm() { command rm -i "${@}"; } cp() { command cp -i "${@}"; }