Ignore dynamic paths with shellcheck

tcharding · tcharding · commit 77ceb66a8a8d · 2024-08-21T16:30:02.000+10:00
We source a bunch of dynamic paths, `shellcheck` cannot handle dynamic
paths - configure `shellcheck` to ignore the warnings.
diff --git a/ci/run_task.sh b/ci/run_task.sh
@@ -1,6 +1,9 @@
 #!/usr/bin/env bash
 #
 # Script used to run CI jobs, can also be used from the command line.
+#
+# Shellcheck can't search dynamic paths
+# shellcheck source=/dev/null
 
 set -euox pipefail
 

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,9 @@`
`1`	`1`	`#!/usr/bin/env bash`
`2`	`2`	`#`
`3`	`3`	`# Script used to run CI jobs, can also be used from the command line.`
	`4`	`+#`
	`5`	`+# Shellcheck can't search dynamic paths`
	`6`	`+# shellcheck source=/dev/null`
`4`	`7`
`5`	`8`	`set -euox pipefail`
`6`	`9`