diff options
author | Vincent Knecht <vincent.knecht@mailoo.org> | 2016-03-12 00:54:23 +0100 |
---|---|---|
committer | Vincent Knecht <vincent.knecht@mailoo.org> | 2016-03-12 00:54:23 +0100 |
commit | 061173da65b0b6061d7fa46066c69737bc4957fe (patch) | |
tree | c472df2edb495adb8e0a9012de5bb14242865f82 /functions.sh | |
parent | 54acc1e70a3e357d0c60e4d9a9afd99077edce84 (diff) | |
parent | 80185bd93dd9eecb1b41ef8ac9a186aff19ab33e (diff) | |
download | rpi2-gen-image-061173da65b0b6061d7fa46066c69737bc4957fe.tar.gz rpi2-gen-image-061173da65b0b6061d7fa46066c69737bc4957fe.tar.bz2 rpi2-gen-image-061173da65b0b6061d7fa46066c69737bc4957fe.zip |
Added ENABLE_SPLITFS option to produce distinct /boot/firmware and root images
Diffstat (limited to 'functions.sh')
-rw-r--r-- | functions.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/functions.sh b/functions.sh new file mode 100644 index 0000000..5071129 --- /dev/null +++ b/functions.sh @@ -0,0 +1,23 @@ +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 + umount -l $R/dev/pts 2> /dev/null + umount "$BUILDDIR/mount/boot/firmware" 2> /dev/null + umount "$BUILDDIR/mount" 2> /dev/null + losetup -d "$ROOT_LOOP" 2> /dev/null + losetup -d "$FRMW_LOOP" 2> /dev/null + trap - 0 1 2 3 6 +} + +chroot_exec() { + # Exec command in chroot + LANG=C LC_ALL=C DEBIAN_FRONTEND=noninteractive chroot $R $* +} |