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/fathddumnt | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100755 .local/bin/fathddumnt

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

diff --git a/.local/bin/fathddumnt b/.local/bin/fathddumnt
deleted file mode 100755
index 4a883f7..0000000
--- a/.local/bin/fathddumnt
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/sh -e
-
-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