From dc208ab453d63ff1e117e476ee26cec16b1653ac Mon Sep 17 00:00:00 2001
From: mattiaborsarini <mattia-git@mattiaborsarini.xyz>
Date: Wed, 11 Aug 2021 15:24:40 +0200
Subject: [PATCH] bashrc.cust: Add 'man' alias

Use 'bat' as pager for manuals.
---
 bashrc.cust | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bashrc.cust b/bashrc.cust
index c3953c9..4b5b1e2 100644
--- a/bashrc.cust
+++ b/bashrc.cust
@@ -22,6 +22,7 @@ alias e='nano'
 alias grep='grep --color=auto -i'
 alias l='ls'
 alias la='ls -A'
+alias man='man -P "bat -p -l man"'
 alias o='xdg-open'
 alias r='rm -fr'
 alias repoinit='repo init --no-clone-bundle'