From 913eb30d8b099830c82ef1adac3078de839cb30f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Motiejus=20Jak=C5=A1tys?= <motiejus@jakstys.lt>
Date: Wed, 19 May 2021 22:57:48 +0300
Subject: [PATCH] gentler remove

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

diff --git a/extract-and-generate b/extract-and-generate
index 30df5dc..5940e45 100755
--- a/extract-and-generate
+++ b/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"