From a8c89d32c9d42382101b6898f8240d2c7822cf41 Mon Sep 17 00:00:00 2001
From: bretello <bretello@distruzione.org>
Date: Mon, 23 Jan 2023 20:21:57 +0100
Subject: [PATCH] zsh: functions: add mangrep

---
 functions/misc.zsh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/functions/misc.zsh b/functions/misc.zsh
index 34d68f3..426b34d 100755
--- a/functions/misc.zsh
+++ b/functions/misc.zsh
@@ -266,3 +266,21 @@ make_backup() {
 function find_by_mtime() {
     find $@ -printf "%T+ %p\n" | sort
 }
+
+
+function mangrep() {
+    set -x
+    if [[ -z "$@" ]]; then
+        echo "Usage: $0 <pattern> <command>"
+        echo "Opens man page for <command> at the first match for <pattern>"
+        return
+    fi
+    pattern=$1
+    cmd=$2
+    if [[ -z "$cmd" ]]; then
+        man "$cmd"
+        return
+    fi
+
+    MANPAGER="less -p \"$pattern\"" man "$cmd"
+}