2024-06-30 15:58:29 +00:00
|
|
|
{ writeScript, lib }:
|
|
|
|
name:
|
2022-09-25 19:50:20 +00:00
|
|
|
{
|
2024-06-30 15:58:29 +00:00
|
|
|
runtimeInputs ? [ ],
|
|
|
|
}:
|
|
|
|
text:
|
|
|
|
writeScript name ''
|
|
|
|
#!/bin/sh
|
|
|
|
set -o errexit
|
|
|
|
set -o nounset
|
|
|
|
set -o pipefail
|
2022-09-25 19:50:20 +00:00
|
|
|
|
2024-06-30 15:58:29 +00:00
|
|
|
export PATH="${lib.makeBinPath runtimeInputs}:$PATH"
|
|
|
|
${text}
|
2022-09-25 19:50:20 +00:00
|
|
|
''
|