From e24ad10313b9cced48cb90b3078877f839d15cf0 Mon Sep 17 00:00:00 2001 From: ItsDrike Date: Thu, 18 Aug 2022 22:07:03 +0200 Subject: [PATCH] Add script to open man page with dmenu --- home/.local/bin/scripts/gui/dmenu/dman | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100755 home/.local/bin/scripts/gui/dmenu/dman diff --git a/home/.local/bin/scripts/gui/dmenu/dman b/home/.local/bin/scripts/gui/dmenu/dman new file mode 100755 index 0000000..2aafc86 --- /dev/null +++ b/home/.local/bin/scripts/gui/dmenu/dman @@ -0,0 +1,6 @@ +#!/bin/sh + +# 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