From 938cb01af0194ea3d3e66a2632fffcb92f2523cd Mon Sep 17 00:00:00 2001
From: boyska <piuttosto@logorroici.org>
Date: Thu, 4 Aug 2011 11:43:18 +0200
Subject: [PATCH] Use rmdir instead of rm -r (refs #7)

rm -r is too dangerous.
use 'rmdir' instead: it aborts if dir is not empty.
As suggested by jamiromimil:
https://github.com/dyne/Tomb/issues/7#issuecomment-1724892
---
 src/tomb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tomb b/src/tomb
index b445c84..3f0832c 100755
--- a/src/tomb
+++ b/src/tomb
@@ -965,7 +965,7 @@ umount_tomb() {
     if [ $tombmount ]; then # tomb is actively mounted
 	func "performing umount of $tombmount"
 	umount ${tombmount} 2> /dev/null
-    rm -r ${tombmount}
+    rmdir ${tombmount}
 	if ! [ $? = 0 ]; then
 	    error "Tomb is busy, cannot umount!"
 	fi