Move command to run extract of script from README.md into a helper sc…

…ript

That would simplify its execution by users/CI

.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

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 '```')