From aaed039fc5c2ad304cae95319b327a3f906aef61 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Wed, 29 Jul 2015 19:10:10 -0700
Subject: 1888 - silence error when no sandboxes

---
 edit.mu | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
   {
-- 
cgit 1.4.1-2-gfad0