From a3d11e8fef23f466abec7a8a5f400cbc30a6c5fb Mon Sep 17 00:00:00 2001 From: Olcan Date: Sun, 8 Jun 2025 19:19:33 -0700 Subject: replace reference to "README" with "docs" to avoid confusion for folks who do not have access to README (#866) --- scripts/sandbox.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts') 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[@]}" -- cgit v1.2.3