From 7e3b5ae4f90be67632badbe1c1147a2b84fefc24 Mon Sep 17 00:00:00 2001 From: Jim Myhrberg Date: Tue, 19 Aug 2025 09:46:19 +0100 Subject: [PATCH] feat(shell/aliases): use batman for man if available --- zsh/aliases.zsh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/zsh/aliases.zsh b/zsh/aliases.zsh index 933d0ae..28c92b9 100644 --- a/zsh/aliases.zsh +++ b/zsh/aliases.zsh @@ -67,6 +67,10 @@ alias lr='ls -R | grep ":$" | sed -e '\''s/:$//'\'' -e '\''s/[^-][^\/]*\//--/g'\ alias fku="fuck you" alias fucking="sudo" +if command-exists batman; then + alias man="batman" +fi + # Improved myip alias. Echoed to avoid strange character at end in ZSH. myip() { echo "$(curl -s whatismyip.akamai.com)"