From e627d7d22a225fb6f33ce45d22a6ffcee4418177 Mon Sep 17 00:00:00 2001
From: Connor Olding <cloningdonor@gmail.com>
Date: Wed, 5 Jun 2019 16:11:10 -0700
Subject: [PATCH] revert change from rm -r to rmdir

rationale: is_empty searches the directory for actual files,
whereas rmdir checks for directories too, so rmdir could fail.
---
 install | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install b/install
index eb491a5..6ba1f7b 100755
--- a/install
+++ b/install
@@ -138,7 +138,7 @@ fi
 
 for d in Desktop Documents Downloads Music Pictures Public Templates Video Videos; do
     [ -d "$d" ] || continue
-    is_empty "$d" && rmdir "$d" || note "skipping unempty $d"
+    is_empty "$d" && rm -r "$d" || note "skipping unempty $d"
 done
 
 mkdir -p opt/local/bin src work play