diff options
Diffstat (limited to 'user')
| -rw-r--r-- | user/settings/base.nix | 11 | ||||
| -rw-r--r-- | user/zsh/zshrc | 5 |
2 files changed, 16 insertions, 0 deletions
diff --git a/user/settings/base.nix b/user/settings/base.nix index 6f86a33e..d447d456 100644 --- a/user/settings/base.nix +++ b/user/settings/base.nix @@ -13,6 +13,7 @@ }; home.sessionVariables = { EMAIL = "alan@alanpearce.eu"; + MANPAGER = "sh -c 'col -bx | bat -l man -p'"; }; xdg = { enable = true; @@ -37,6 +38,16 @@ hide_userland_threads = 1; }; }; + programs.bat = { + enable = true; + extraPackages = with pkgs.bat-extras; [ + batdiff + batman + batgrep + batpipe + prettybat + ]; + }; home.packages = with pkgs; [ pv diff --git a/user/zsh/zshrc b/user/zsh/zshrc index 2c87e5a7..0331a083 100644 --- a/user/zsh/zshrc +++ b/user/zsh/zshrc @@ -169,3 +169,8 @@ tere() { local result=$(command tere "$@") [ -n "$result" ] && cd -- "$result" } + +alias bathelp='bat --plain --language=help' +help() { + "$@" --help 2>&1 | bathelp +} |