From df9ba8592b28924ba2a61c9631dbabaf0302f705 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Motiejus=20Jak=C5=A1tys?= <motiejus@uber.com>
Date: Sun, 25 Apr 2021 11:54:39 +0300
Subject: [PATCH] gentler remove

---
 IV/extract-and-generate | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/IV/extract-and-generate b/IV/extract-and-generate
index 30df5dc..5940e45 100755
--- a/IV/extract-and-generate
+++ b/IV/extract-and-generate
@@ -8,4 +8,4 @@ echo "Logs in $l ..."; make -j "$(nproc)" -C "$d" "$f" &> "$l" || {
     echo "Failed to generate. $l extract:"; tail -20 "$l"; exit 1
 }
 echo "Opening $d/$f ..."; xdg-open "$d/$f"
-echo "$d/$f was closed. Removing $d"; rm -fr "$d"
+echo "$d/$f was closed. Removing $d"; rm -r "$d"