diff options
author | Marc Coquand <marc@mccd.space> | 2024-05-29 09:51:57 -0500 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2024-05-29 09:51:57 -0500 |
commit | 9ffd8422de06adab52c0b7873a6ce181d82b5391 (patch) | |
tree | 84d092603ffd984ee8ef1073972946a708010579 /lib/grep.ml | |
parent | 4aea286edd92845f17c490e1009cd8f7e271e596 (diff) | |
download | stitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.tar.gz stitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.tar.bz2 stitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.zip |
Refresh when editing in stitched and headline view
Diffstat (limited to '')
-rw-r--r-- | lib/grep.ml | 5 |
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 |