From 9ffd8422de06adab52c0b7873a6ce181d82b5391 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 29 May 2024 09:51:57 -0500 Subject: Refresh when editing in stitched and headline view --- lib/grep.ml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'lib/grep.ml') 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 -- cgit v1.2.3