commit 0b7a31c923fc0d2d80378a3b8a4fe14282b97568 parent a8bc4fcbe0d5907d1fa7b507fc3c37dcff773c60 Author: rpa <rpa@grass> Date: Thu, 19 Oct 2023 22:03:34 +0000 src/wdb: remove search script from git Diffstat:
| D | src/wdb/search | | | 16 | ---------------- |
1 file changed, 0 insertions(+), 16 deletions(-)
diff --git a/src/wdb/search b/src/wdb/search @@ -1,16 +0,0 @@ -#!/bin/rc - -# Searches for entries by name. -# Operates on actual? data. -# returns a list of id's. - -rfork e - -# old code for operating on indexed data: -grep -i $"* $home/lib/wdb/index/name | sed 's/ .*//' | sort | uniq - -# new code for directly reading from data -# slower, and a hack -# (relies on names always and only field to start with tabslash) -# cd $home/lib/wdb/data -# grep -li '^ \\.*'^$"* *