From 0444fb493754258085f4fc836418efbfd62ac1d7 Mon Sep 17 00:00:00 2001 From: emmett1 Date: Fri, 19 Mar 2021 14:14:18 +0800 Subject: [PATCH] add -i to search grep --- scratch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scratch b/scratch index ad411be..8ba98a6 100755 --- a/scratch +++ b/scratch @@ -943,7 +943,7 @@ scratch_search() { arg=$* for repo in $PORT_REPO; do [ -d $repo ] || continue - out=$(grep -R "# description" $repo/*/$BUILD_SCRIPT | grep "$arg" | awk -F : '{print $1}' | sort) + out=$(grep -R "# description" $repo/*/$BUILD_SCRIPT | grep -i "$arg" | awk -F : '{print $1}' | sort) [ "$out" ] || continue found=1 for line in $out; do