From ce035f67db2fd1309394114eb0b1437e0de7db20 Mon Sep 17 00:00:00 2001
From: Alexandre Aubin <alex.aubin@mailoo.org>
Date: Tue, 13 Aug 2024 18:41:21 +0200
Subject: [PATCH] Port uncommited changes from prod

---
 recipes | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/recipes b/recipes
index 17d41c5..015b673 100755
--- a/recipes
+++ b/recipes
@@ -129,11 +129,11 @@ function slimify()
     apt clean
 
     # Disable mandb because zzzzz: https://stackoverflow.com/questions/69974259/fully-disable-man-db
-    mv /usr/bin/mandb /usr/bin/mandb-OFF
+    mv /usr/bin/mandb /usr/bin/mandb-OFF || true
     cp -p /bin/true /usr/bin/mandb
-    rm -r /var/cache/man
-    rm /var/lib/man-db/auto-update
-    apt-mark hold man-db
+    rm -rf /var/cache/man
+    rm -f /var/lib/man-db/auto-update
+    apt-mark hold man-db || true
 
     # Other tricks to save up space (at least 100MB or even 200MB wtf?!)
     # https://stackoverflow.com/questions/59794891/how-does-debian-differ-from-debian-slim