From acb42d7250f4832e2c93e5ecfaab4dd69b4c4a11 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Sat, 18 May 2024 13:36:55 -0500 Subject: Arbitrary command for article --- lib/arbitrary_command.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/arbitrary_command.ml') diff --git a/lib/arbitrary_command.ml b/lib/arbitrary_command.ml index 920a82f..05baf43 100644 --- a/lib/arbitrary_command.ml +++ b/lib/arbitrary_command.ml @@ -7,7 +7,7 @@ let run ~(on_return : string -> unit) t ~selected_file ~content ~command = command |> List.map (fun s -> let s = Str.global_replace (Str.regexp "%(file)") selected_file s in - Str.global_replace (Str.regexp "%(content)") content s) + Str.global_replace (Str.regexp "%(line)") content s) in Common.Term.cursor t (Some (0, 0)); try -- cgit v1.2.3