diff options
Diffstat (limited to 'scripts/sandbox.sh')
| -rwxr-xr-x | scripts/sandbox.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/sandbox.sh b/scripts/sandbox.sh index e3ad91b5..b6a52c14 100755 --- a/scripts/sandbox.sh +++ b/scripts/sandbox.sh @@ -16,7 +16,7 @@ set -euo pipefail if ! scripts/sandbox_command.sh -q; then - echo "ERROR: sandboxing disabled. See README.md to enable sandboxing." + echo "ERROR: sandboxing disabled. See docs to enable sandboxing." exit 1 fi @@ -100,4 +100,4 @@ fi # run command in sandbox exec_args+=("$SANDBOX" "${cmd[@]}") -$CMD exec "${exec_args[@]}"
\ No newline at end of file +$CMD exec "${exec_args[@]}" |