1#!/bin/bash -e 2 3SCRIPTS_DIR=$(realpath $(dirname $0)) 4DEBIAN_DIR=$(realpath $SCRIPTS_DIR/..) 5WORK_DIR=$(realpath $DEBIAN_DIR/work) 6 7main(){ 8while mount | grep -q $WORK_DIR; do 9 local LOCS 10 LOCS=$(mount | grep $WORK_DIR | cut -f 3 -d ' ' | sort -r) 11 for loc in $LOCS; do 12 sudo umount "$loc" 13 done 14done 15} 16 17main