bash: fix pager

diff --git a/home/dot-bash_profile b/home/dot-bash_profile
index 480ae7473b4afc1dc1b9bf5cbace9e7691283e4d..6bdc697ca01ace80488d794c4ec6f2c0fe0c51fd 100644 (file)
--- 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 098b6f7154962f4a1ace6eb8536bf7ad54b6e3f2..df762eae4ddd76ea9255399ea1df2451895a7e3c 100644 (file)
--- 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 "${@}"; }