From 6507f123cb252bddd192b1e3e6268f86de7c9ef7 Mon Sep 17 00:00:00 2001 From: Jim Myhrberg Date: Wed, 27 Aug 2025 21:54:43 +0100 Subject: [PATCH] chore(shell): move batman alias --- zsh/aliases.zsh | 4 ---- zsh/rust.zsh | 4 ++++ 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/zsh/aliases.zsh b/zsh/aliases.zsh index 28c92b9..933d0ae 100644 --- a/zsh/aliases.zsh +++ b/zsh/aliases.zsh @@ -67,10 +67,6 @@ 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)" diff --git a/zsh/rust.zsh b/zsh/rust.zsh index e3153ab..1ec803d 100644 --- a/zsh/rust.zsh +++ b/zsh/rust.zsh @@ -17,6 +17,10 @@ if command-exists bat; then alias cat="bat -P" fi +if command-exists batman; then + alias man="batman" +fi + # ============================================================================== # completions # ==============================================================================