summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoel Fernandes <joel@joelfernandes.org>2018-07-02 20:54:54 -0700
committerJoel Fernandes <joel@joelfernandes.org>2018-07-02 20:54:54 -0700
commit848b98e646c5bf1a675956b4ec35f6ad7226e0c5 (patch)
tree60a231071a0d3c59168eaaa1619e8180f63e3bfb
parent9649a26278eda9e73ef27aaa039c61e5dd3e64a2 (diff)
downloadadeb-848b98e646c5bf1a675956b4ec35f6ad7226e0c5.tar.gz
run: silence output from mount
Signed-off-by: Joel Fernandes <joel@joelfernandes.org>
-rwxr-xr-xaddons/run2
1 files changed, 1 insertions, 1 deletions
diff --git a/addons/run b/addons/run
index 772a7c4..a5bdaf3 100755
--- a/addons/run
+++ b/addons/run
@@ -39,7 +39,7 @@ do_mounts()
fi
}
-mount | grep debian
+mount | grep debian > /dev/null
if [ $? -ne 0 ]; then do_mounts; fi
chroot debian/ /bin/bash