diff options
Diffstat (limited to 'addons/device-umount-all')
-rwxr-xr-x | addons/device-umount-all | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/addons/device-umount-all b/addons/device-umount-all deleted file mode 100755 index fe3b092..0000000 --- a/addons/device-umount-all +++ /dev/null @@ -1,16 +0,0 @@ -#!/system/bin/sh - -if [ "$1x" == "--debugx" ]; then - set -x -fi - -umount_all() { - mpoints=$(mount|cut -d ' ' -f3|grep debian) - for m in $mpoints; - do umount $m 2>&1 > /dev/null - done -} - -for i in $(seq 0 6); do - umount_all 2>&1 > /dev/null -done |