chore(shell): move batman alias

This commit is contained in:
2025-08-27 21:54:43 +01:00
parent 0c46b38c5f
commit 6507f123cb
2 changed files with 4 additions and 4 deletions

View File

@@ -17,6 +17,10 @@ if command-exists bat; then
alias cat="bat -P"
fi
if command-exists batman; then
alias man="batman"
fi
# ==============================================================================
# completions
# ==============================================================================