diff options
| author | Olcan <[email protected]> | 2025-06-08 19:19:33 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-06-08 19:19:33 -0700 |
| commit | a3d11e8fef23f466abec7a8a5f400cbc30a6c5fb (patch) | |
| tree | 3c36faee8e446a8766f32d6edff8081b9ad67f55 /scripts | |
| parent | 37edbd8c18c19d28c290f6dc2c5d54add0144479 (diff) | |
replace reference to "README" with "docs" to avoid confusion for folks who do not have access to README (#866)
Diffstat (limited to 'scripts')
| -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[@]}" |