From 433c1067a166d88cef7d1c12cc0c6180bf497f47 Mon Sep 17 00:00:00 2001
From: Joe <bousset.rudy@gmail.com>
Date: Sun, 26 Jun 2022 21:33:40 +0200
Subject: update

---
 .local/bin/hddumnt | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to '.local/bin/hddumnt')

diff --git a/.local/bin/hddumnt b/.local/bin/hddumnt
index d81d969..4a883f7 100755
--- a/.local/bin/hddumnt
+++ b/.local/bin/hddumnt
@@ -1,5 +1,13 @@
 #!/bin/sh -e
 
-umount /dev/da0.eli
-geli detach da0.eli
+if ! mount | grep -F /dev/da0p1; then
+	notify-send -u critical 'fathdd' '  HDD not mounted'
+	exit 1
+fi
+if ! umount /dev/da0p1.eli; then
+	notify-send -u critical 'fathdd' '  Failed to dismount HDD'
+	exit 1
+fi
+geli detach da0p1.eli
 rmdir "$HOME"/hdd
+notify-send -t 5000 'fathdd' '  HDD dismounted from <b>~/hdd</b>'
-- 
cgit v1.2.3