Merge pull request #124 from ReproNim/rf-outside-script

Merging so I can use this testing locally.
ReproNim · Jun 5, 2024 · 0a39776 · 0a39776
2 parents 3040631 + bb5cf00
commit 0a39776
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/.github/workflows/tests.yaml b/.github/workflows/tests.yaml
@@ -28,4 +28,4 @@ jobs:
       uses: actions/checkout@v4
 
     - name: Test example in the README.md
-      run: bash <(sed -n -e '/^ *#!/,/^```$/p' README.md | grep -v '```')
+      run: scripts/run-README-example
diff --git a/scripts/run-README-example b/scripts/run-README-example
@@ -0,0 +1,9 @@
+#!/bin/bash
+#
+# A helper to assist with running the example embedded in README.md
+#
+set -eu -o pipefail
+
+cd "$(dirname "$0")/.."
+
+bash <(sed -n -e '/^ *#!/,/^```$/p' README.md | grep -v '```')