diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-29 19:10:10 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-29 19:10:10 -0700 |
commit | aaed039fc5c2ad304cae95319b327a3f906aef61 (patch) | |
tree | 20d174fc42bf64fa510f4702a49287746bda64c0 | |
parent | 89b87bc7c493670ecb598784e1073a09f691d43e (diff) | |
download | mu-aaed039fc5c2ad304cae95319b327a3f906aef61.tar.gz |
1888 - silence error when no sandboxes
-rw-r--r-- | edit.mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/edit.mu b/edit.mu index b0690d83..39952bc7 100644 --- a/edit.mu +++ b/edit.mu @@ -2853,7 +2853,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]*] + $system [rm lesson/[0-9]* >&/dev/null] curr:address:sandbox-data <- get *env, sandbox:offset filename:number <- copy 0 { |