From 20aa8079b40ee794bc84ead7283622c78f49afb5 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 14 May 2024 12:47:36 -0500 Subject: Resolve a few bugs --- lib/grep.ml | 18 +++++------------- 1 file changed, 5 insertions(+), 13 deletions(-) (limited to 'lib/grep.ml') diff --git a/lib/grep.ml b/lib/grep.ml index 0d79c57..9638c37 100644 --- a/lib/grep.ml +++ b/lib/grep.ml @@ -3,10 +3,7 @@ let execution_directory = let grep_cmd = Sys.getenv_opt "STICH_GREP_CMD" |> Option.value ~default:"ugrep" - -let tag_pattern = - Sys.getenv_opt "STITCH_TAG_PATTERN" |> Option.value ~default:":[a-z_-]+:" - +let tag_pattern = Sys.getenv_opt "STITCH_TAG_PATTERN" |> Option.value ~default:":[a-z-]+:" let headline_pattern = Sys.getenv_opt "STITCH_HEADLINE_PATTERN" |> Option.value ~default:"^\\* " @@ -33,9 +30,7 @@ let run_print ~dir args = eval (chdir dir (call args |- read_all)) -let headline_args = - [ "xargs"; grep_cmd; "^\\*"; "-H"; "-r"; "-n"; "--separator=|"; "--no-messages" ] - +let headline_args = [ "xargs"; grep_cmd; "^\\*"; "-H"; "-r"; "-n"; "--no-messages" ] (* type sort = *) (* | Name *) @@ -48,10 +43,7 @@ let headline_args = let get_headlines () = let open Shexp_process in let open Shexp_process.Infix in - eval - (chdir - execution_directory - (find_sort_modification () |- call headline_args |- read_all)) + eval (chdir execution_directory (find_sort_name () |- call headline_args |- read_all)) let get_tagged_headlines tag () = @@ -85,10 +77,10 @@ let parse_headlines s = if String.equal message "" then None else ( - let split = Str.bounded_split (Str.regexp "|") message 3 in + let split = Str.bounded_split (Str.regexp ":[0-9]+:") message 2 in match split with (* file, line, content *) - | [ file_name; _; content ] -> Some (file_name, content) + | [ file_name; content ] -> Some (file_name, content) | _ -> raise (Not_A_Tuple (String.concat " SPLIT " split, message)))) |> Array.of_list -- cgit v1.2.3