diff options
| author | Toby Vincent <tobyv13@gmail.com> | 2023-02-10 16:53:03 -0600 |
|---|---|---|
| committer | Toby Vincent <tobyv13@gmail.com> | 2023-02-10 19:52:19 -0600 |
| commit | e712243be494a4158901014faad7ec67ceb809e5 (patch) | |
| tree | 6d44ad0eff41f06e96609fd0d2c874fdda6c8b44 /bat/.config/profile.d/20-bat.sh | |
| parent | 8cf873086c3a49fdc0f4aff5b5042c40f32b8537 (diff) | |
feat: split `.profile` to individual files
split `$XDG_CONFIG_HOME/.profile` up into `$XDG_CONFIG_HOME/profile.d`
directory. This allows for better management and prioritization between
different tool's env.
Diffstat (limited to 'bat/.config/profile.d/20-bat.sh')
| -rw-r--r-- | bat/.config/profile.d/20-bat.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bat/.config/profile.d/20-bat.sh b/bat/.config/profile.d/20-bat.sh new file mode 100644 index 0000000..b571f3a --- /dev/null +++ b/bat/.config/profile.d/20-bat.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +export MANPAGER="sh -c 'col -bx | bat -l man -p'" +export MANROFFOPT="-c" |