mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-05 01:55:52 +00:00
067051860d
Besides the usual tree and file views, it also have "shelf" inspired by the NeXT file manager, and a log pane for capturing output of launched programs. PR: ports/55540 Submitted by: Albert Graef <Dr.Graef@t-online.de>
10 lines
367 B
Plaintext
10 lines
367 B
Plaintext
--- scripts/find.script.orig Mon Aug 5 02:51:39 2002
|
|
+++ scripts/find.script Sun Aug 10 04:24:10 2003
|
|
@@ -27,5 +27,5 @@
|
|
$find "$1" -name "$2" -print
|
|
else
|
|
echo "+++ find [$1]: searching \"$2\" for \"$3\" +++"
|
|
- $find "$1" -name "$2" -xtype f -print0 | $xargs -0 grep -l "$3"
|
|
+ $find "$1" -name "$2" -type f -print0 | $xargs -0 grep -l "$3"
|
|
fi
|