dotfiles

commit 1efa681ff0257688f82afaf78fe60f094fa2a27e
parent 6f5e9294d55b4deb7e73adbf60e7557d38058b91
Author: Pablo Cárdenas <pablo.cardenas@imca.edu.pe>
Date:   Mon,  1 Apr 2024 19:00:45 -0500

Fixed "man" shell function

Diffstat:
M
.bashrc
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.bashrc b/.bashrc
@@ -41,7 +41,7 @@ PS1='\$$(__git_ps1) '
 cd() { echo "Use pushd!"; }
 
 man() {
-	if [[ $# == 1 && $1 != -* ]] ; then
+	if ! [[ $1 == -* || $1 == [1-9]* ]] ; then
 		echo "Specify section"
 		return 1
 	fi