diff options
| -rw-r--r-- | edit.mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/edit.mu b/edit.mu index 88226a66..6a1f6fde 100644 --- a/edit.mu +++ b/edit.mu @@ -2799,7 +2799,7 @@ recipe run-sandboxes [ } # save all sandboxes before running, just in case we die when running # first clear previous versions, in case we deleted some sandbox - $system [rm lesson/[0-9]* >&/dev/null] + $system [rm lesson/[0-9]* >/dev/null 2>/dev/null] # some shells can't handle '>&' curr:address:sandbox-data <- get *env, sandbox:offset filename:number <- copy 0 { |