replace reference to "README" with "docs" to avoid confusion for folks who do not have access to README (#866)

This commit is contained in:
Olcan
2025-06-08 19:19:33 -07:00
committed by GitHub
parent 37edbd8c18
commit a3d11e8fef
2 changed files with 3 additions and 3 deletions

View File

@@ -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[@]}"
$CMD exec "${exec_args[@]}"