diff options
author | Joel Fernandes <joel@joelfernandes.org> | 2018-07-02 20:54:54 -0700 |
---|---|---|
committer | Joel Fernandes <joel@joelfernandes.org> | 2018-07-02 20:54:54 -0700 |
commit | 848b98e646c5bf1a675956b4ec35f6ad7226e0c5 (patch) | |
tree | 60a231071a0d3c59168eaaa1619e8180f63e3bfb | |
parent | 9649a26278eda9e73ef27aaa039c61e5dd3e64a2 (diff) | |
download | adeb-848b98e646c5bf1a675956b4ec35f6ad7226e0c5.tar.gz |
run: silence output from mount
Signed-off-by: Joel Fernandes <joel@joelfernandes.org>
-rwxr-xr-x | addons/run | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |