From 39abcd4756d2265dae7b0a79d184cc2918dbd341 Mon Sep 17 00:00:00 2001
From: bretello <bretello@distruzione.org>
Date: Thu, 14 Sep 2023 22:44:28 +0200
Subject: [PATCH] zsh: remove set -x from mangrep() definition

---
 functions/misc.zsh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/functions/misc.zsh b/functions/misc.zsh
index 4f4feed..22a8f45 100755
--- a/functions/misc.zsh
+++ b/functions/misc.zsh
@@ -269,7 +269,6 @@ function find_by_mtime() {
 
 
 function mangrep() {
-    set -x
     if [[ -z "$@" ]]; then
         echo "Usage: $0 <pattern> <command>"
         echo "Opens man page for <command> at the first match for <pattern>"