commit fcaabc7dc2922bfa1f24ce2f42b0cbfebc99668c
parent d8e72ca936eb6d8ca993c8e211ba5782c3859048
Author: Pablo Cárdenas <pablo.cardenas@imca.edu.pe>
Date: Sun, 31 Mar 2024 11:30:43 -0500
bash: stop using man without specifying the section
Diffstat:
1 file changed, 8 insertions(+), 0 deletions(-)
diff --git a/.bashrc b/.bashrc
@@ -40,6 +40,14 @@ PS1='\$$(__git_ps1) '
cd() { echo "Use pushd!"; }
+man() {
+ if [[ $# == 1 && $1 != -* ]] ; then
+ echo "Specify section"
+ return 1
+ fi
+ command man $@
+}
+
[ -f /usr/share/bash-completion/completions/git ] && source /usr/share/bash-completion/completions/git
[ -f /data/data/com.termux/files/usr/share/bash-completion/completions/git ] && source /dataa/data/com.termux/files/usr/share/bash-completion/completions/git