diff options
Diffstat (limited to 'templates/umount.handler')
| -rw-r--r-- | templates/umount.handler | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/templates/umount.handler b/templates/umount.handler new file mode 100644 index 00000000..4fea195a --- /dev/null +++ b/templates/umount.handler @@ -0,0 +1,15 @@ +#!/bin/sh + +# Unmount the specified directory ('dir'), forcefully if necessary. + +getconf dir + +if ! umount $dir; then + warning "Simple unmount failed for $dir; being forceful" + if ! umount -f $dir; then + warning "Forceful unmount failed for $dir; being lazy" + if ! umount -l $dir; then + warning "Lazy unmount failed for $dir; you're on your own" + fi + fi +fi |