From b6ecaa98c8a07c42f55bb498ebdb8c82873c3b62 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 17 May 2024 15:13:18 -0500 Subject: Fix escaping --- bin/main.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'bin') diff --git a/bin/main.ml b/bin/main.ml index 385f273..13d7f6d 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -91,8 +91,8 @@ let headlines_cmd = "function capture {\n\ \ JRNL=\"\\$STITCH_DIRECTORY/\\$(date +'%y-%m-%d.%H:%M.%S').org\"\n\ \ echo '* ' > /tmp/capture \n\ - \ $EDITOR /tmp/capture +1\n\ - \ if grep -q '^\\*\\s*\\$' /tmp/capture \n\ + \ \\$EDITOR /tmp/capture +1\n\ + \ if grep -q '^\\\\*\\\\s*\\$' /tmp/capture \n\ \ then \n\ \ echo \"Empty capture; ignoring\"\n\ \ else \n\ @@ -124,7 +124,7 @@ let headlines_cmd = \ JRNL=\"\\$STITCH_DIRECTORY/\\$(date +'%y-%m-%d.%H:%M.%S').org\"\n\ \ echo '* TODO ' > /tmp/capture\n\ \ \\$EDITOR /tmp/capture +1\"\n\ - \ if grep -q '^\\* TODO\\s*\\$' /tmp/capture \n\ + \ if grep -q '^\\\\* TODO\\\\s*\\$' /tmp/capture \n\ \ then \n\ \ echo \"Empty capture\"\n\ \ else \n\ -- cgit v1.2.3