2024-06-15 14:04:56 +00:00
|
|
|
{
|
2025-02-10 21:55:08 +00:00
|
|
|
writeScriptBin,
|
|
|
|
lib,
|
|
|
|
}:
|
|
|
|
name:
|
|
|
|
{
|
|
|
|
runtimeInputs ? [ ],
|
|
|
|
}:
|
|
|
|
text:
|
|
|
|
writeScriptBin name ''
|
|
|
|
#!/bin/sh
|
|
|
|
set -o errexit
|
|
|
|
set -o nounset
|
|
|
|
set -o pipefail
|
2024-06-15 14:04:56 +00:00
|
|
|
|
2025-02-10 21:55:08 +00:00
|
|
|
export PATH="${lib.makeBinPath runtimeInputs}:$PATH"
|
|
|
|
${text}
|
2024-06-15 14:04:56 +00:00
|
|
|
''
|