diff options
| author | varac <varacanero@zeromail.org> | 2016-06-09 17:31:57 +0200 |
|---|---|---|
| committer | varac <varacanero@zeromail.org> | 2016-06-14 12:05:18 +0200 |
| commit | 361db68ac73fd2305c43044f9f548178533ad141 (patch) | |
| tree | e7945c66ce868ab25431c1fcb0162d335b160e89 /puppet/modules/backupninja/templates/umount.handler | |
| parent | 8f2ffe06dda7cfd21202543abeac90142dc9b322 (diff) | |
git subrepo clone https://leap.se/git/puppet_backupninja puppet/modules/backupninja
subrepo:
subdir: "puppet/modules/backupninja"
merged: "5268a87"
upstream:
origin: "https://leap.se/git/puppet_backupninja"
branch: "master"
commit: "5268a87"
git-subrepo:
version: "0.3.0"
origin: "https://github.com/ingydotnet/git-subrepo.git"
commit: "cb2995b"
Diffstat (limited to 'puppet/modules/backupninja/templates/umount.handler')
| -rw-r--r-- | puppet/modules/backupninja/templates/umount.handler | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/puppet/modules/backupninja/templates/umount.handler b/puppet/modules/backupninja/templates/umount.handler new file mode 100644 index 00000000..4fea195a --- /dev/null +++ b/puppet/modules/backupninja/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 |