From e412aba38efb848e39a4ca2152abc668a99dfad2 Mon Sep 17 00:00:00 2001 From: ItsDrike Date: Thu, 18 Aug 2022 22:16:35 +0200 Subject: [PATCH] Add support for running dman outside of terminal --- home/.local/bin/scripts/gui/dmenu/dman | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/home/.local/bin/scripts/gui/dmenu/dman b/home/.local/bin/scripts/gui/dmenu/dman index 2aafc86..fdcb93e 100755 --- a/home/.local/bin/scripts/gui/dmenu/dman +++ b/home/.local/bin/scripts/gui/dmenu/dman @@ -3,4 +3,9 @@ # Dmenu prompt to easily search for a man page to open page="$(apropos --long "$1" | dmenu -i -l 10 | awk '{print $2, $1}' | tr -d '()')" -man $page + +if tty -s; then + man $page +else + $TERMINAL -e man $page +fi