diff options
author | Filip Pytloun <filip@pytloun.cz> | 2016-03-10 15:45:38 +0100 |
---|---|---|
committer | Filip Pytloun <filip@pytloun.cz> | 2016-03-11 09:50:51 +0100 |
commit | a1508536fc6e1d31692e42945a7bc8191892615f (patch) | |
tree | 5afbdd95eb6ae25bd47325bcb8edabfadc2e24d3 | |
parent | 5aea90096d1658770bdd602de3df36285c2ff600 (diff) | |
download | rpi2-gen-image-a1508536fc6e1d31692e42945a7bc8191892615f.tar.gz rpi2-gen-image-a1508536fc6e1d31692e42945a7bc8191892615f.tar.bz2 rpi2-gen-image-a1508536fc6e1d31692e42945a7bc8191892615f.zip |
Enhance cleanup by killing processes running in endpoint
-rw-r--r-- | functions.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/functions.sh b/functions.sh index 95f8480..e94a42c 100644 --- a/functions.sh +++ b/functions.sh @@ -2,6 +2,10 @@ cleanup (){ # Clean up all temporary mount points set +x set +e + echo "killing processes using mount point ..." + fuser -k $R + sleep 3 + fuser -9 -k -v $R echo "removing temporary mount points ..." umount -l $R/proc 2> /dev/null umount -l $R/sys 2> /dev/null |