From 5aec082b915416107cec9e8c811bbbedafb70b59 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 20 May 2024 09:07:45 -0500 Subject: Enable hiding the file name using 'h' --- lib/grep.ml | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) (limited to 'lib/grep.ml') diff --git a/lib/grep.ml b/lib/grep.ml index c5acbb6..94b4b48 100644 --- a/lib/grep.ml +++ b/lib/grep.ml @@ -94,10 +94,13 @@ let parse_todo_string s = | _ -> raise (Not_A_Tuple (String.concat " SPLIT " split, message)))) -let pretty_format_todo parsed_headlines = +let pretty_format_todo ?(hide_file_name = false) parsed_headlines = let padding = get_padding_list parsed_headlines in List.map - (fun (file_name, content) -> String.concat " | " [ pad file_name padding; content ]) + (fun (file_name, content) -> + if not hide_file_name + then String.concat " | " [ pad file_name padding; content ] + else content) parsed_headlines @@ -236,10 +239,13 @@ let parse_headlines s = (** Turns "2024-03-05.org:* Hello world" into "2024-03-05 | * Hello world" *) -let pretty_format parsed_headlines = +let pretty_format ?(hide_file_name = false) parsed_headlines = let padding = get_padding_arr parsed_headlines in Array.map - (fun (file_name, content) -> String.concat " | " [ pad file_name padding; content ]) + (fun (file_name, content) -> + if not hide_file_name + then String.concat " | " [ pad file_name padding; content ] + else content) parsed_headlines -- cgit v1.2.3