aboutsummaryrefslogtreecommitdiff
path: root/lib/grep.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-29 09:51:57 -0500
committerMarc Coquand <marc@mccd.space>2024-05-29 09:51:57 -0500
commit9ffd8422de06adab52c0b7873a6ce181d82b5391 (patch)
tree84d092603ffd984ee8ef1073972946a708010579 /lib/grep.ml
parent4aea286edd92845f17c490e1009cd8f7e271e596 (diff)
downloadstitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.tar.gz
stitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.tar.bz2
stitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.zip
Refresh when editing in stitched and headline view
Diffstat (limited to 'lib/grep.ml')
-rw-r--r--lib/grep.ml5
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/grep.ml b/lib/grep.ml
index 30df423..7ec664e 100644
--- a/lib/grep.ml
+++ b/lib/grep.ml
@@ -161,8 +161,7 @@ let find_sort_modification () =
let find_sort_name () =
let open Shexp_process in
- let open Shexp_process.Infix in
- call [ "find"; "." ] |- call [ "cut"; "-c3-" ]
+ call [ "ls" ]
let run_print ~dir args =
@@ -283,7 +282,7 @@ let get_file_names tag =
let open Shexp_process in
let open Shexp_process.Infix in
find_sort_name ()
- |- call [ "xargs"; grep_cmd; "-H"; "-r"; "-l"; "--no-messages"; "-E"; tag ]
+ |- call [ "xargs"; grep_cmd; "-H"; "-l"; "-E"; tag ]
|- call [ "sort"; "-n"; "-r" ]
|- read_all
in