From 64b3fd9ca21ffa57652d1cc0d7937cc99da356b4 Mon Sep 17 00:00:00 2001 From: Lucas Gabriel Vuotto Date: Wed, 17 Jul 2024 20:59:25 +0000 Subject: [PATCH] shrc: check existence of /usr/bin/man before using it --- dotfiles/shrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dotfiles/shrc b/dotfiles/shrc index b807fbb..b8005c7 100644 --- a/dotfiles/shrc +++ b/dotfiles/shrc @@ -31,7 +31,7 @@ if command -v nvi >/dev/null; then alias vi=nvi fi -if [ -d ~/local/man ]; then +if [ -d ~/local/man ] && [ -x /usr/bin/man ]; then alias man="/usr/bin/man -m ~/local/man" fi