Update _postDiffToGitHubSnippet.nix

divnix · Oct 18, 2024 · 2f4df74 · 2f4df74
1 parent 157ad74
commit 2f4df74
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/std/fwlib/blockTypes/_postDiffToGitHubSnippet.nix b/src/std/fwlib/blockTypes/_postDiffToGitHubSnippet.nix
@@ -14,14 +14,14 @@ _: path: cmd: script: ''
     fi
 
     CENTRAL_COMMENT_HEADER="<!-- Unified Diff Comment -->"
-    ENTRY_START_MARKER="<!-- Start Diff for \`${path}\` -->"
-    ENTRY_END_MARKER="<!-- End Diff for \`${path}\` -->"
+    ENTRY_START_MARKER="<!-- Start Diff for ${path}:${cmd} -->"
+    ENTRY_END_MARKER="<!-- End Diff for ${path}:${cmd} -->"
 
     DIFF_ENTRY=$(cat <<EOF
 
 $ENTRY_START_MARKER
 <details>
-<summary>Diff for \`${path}\` (\`${cmd}\`)</summary>
+<summary>//${path}:${cmd}</summary>
 
 \`\`\`diff
 $DIFF_OUTPUT
@@ -40,7 +40,7 @@ EOF
       EXISTING_BODY=$(gh api "repos/$OWNER_REPO_NAME/issues/comments/$EXISTING_COMMENT_ID" --jq '.body')
 
       if echo "$EXISTING_BODY" | grep -q "$ENTRY_START_MARKER"; then
-        UPDATED_BODY=$(echo "$EXISTING_BODY" | sed -e "/$ENTRY_START_MARKER/,/$ENTRY_END_MARKER/d")
+        UPDATED_BODY=$(echo "$EXISTING_BODY" | sed -e "\#$ENTRY_START_MARKER#,\#$ENTRY_END_MARKER#d")
       else
         UPDATED_BODY="$EXISTING_BODY"
       fi