From 59503f55c146ccf3d7856ce466309093f9cdc8dc Mon Sep 17 00:00:00 2001
From: Connor Olding <cloningdonor@gmail.com>
Date: Mon, 27 May 2019 11:24:26 +0200
Subject: [PATCH] use rmdir for empty directories

---
 install | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install b/install
index 3ffdd20..ad95e82 100755
--- a/install
+++ b/install
@@ -121,7 +121,7 @@ grep .bashrc .bash_profile >/dev/null 2>&1 \
 
 for d in Desktop Documents Downloads Music Pictures Public Templates Video Videos; do
     [ -d "$d" ] || continue
-    is_empty "$d" && rm -r "$d" || note "skipping unempty $d"
+    is_empty "$d" && rmdir "$d" || note "skipping unempty $d"
 done
 
 mkdir -p opt/local/bin src work play