We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7b1d53d commit d3432bdCopy full SHA for d3432bd
1 file changed
tools/clean.sh
@@ -85,6 +85,9 @@ remove() {
85
for _file in "${@}"; do msg_debug "Removing ${_file}"; rm -rf "${_file}"; done
86
}
87
88
+# Unmount helper Usage: _umount <target>
89
+_umount() { if mountpoint -q "${1}"; then umount -lf "${1}"; fi; }
90
+
91
# Unmount chroot dir
92
umount_chroot () {
93
local _mount
0 commit comments