diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-30 17:49:58 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-30 17:49:58 -0700 |
commit | 8e2168140491bec3e4b70b5d9957924ab6c197dc (patch) | |
tree | bb637cc9398fb291d1571045f0403123456f484a /edit.mu | |
parent | 32f123259441d0210d499595d56fc70fa4ce50ca (diff) | |
download | mu-8e2168140491bec3e4b70b5d9957924ab6c197dc.tar.gz |
1899
Diffstat (limited to 'edit.mu')
-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 { |