From d4ce01395d4e3b1dc95d472694eaa2b9c5f3031a Mon Sep 17 00:00:00 2001
From: Malte Schwerhoff <malte.schwerhoff@inf.ethz.ch>
Date: Sat, 9 May 2020 11:40:41 +0200
Subject: [PATCH] Improved preprocessing instructions: delete "files"
 directories even if not empty

---
 preprocessing/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/preprocessing/README.md b/preprocessing/README.md
index 25d124f..0c18b26 100644
--- a/preprocessing/README.md
+++ b/preprocessing/README.md
@@ -32,7 +32,7 @@
 
   $ find . -type d -iname files -execdir mv ./files/main.cpp . \; -print
 
-  $ find . -type d -iname files -delete -print
+  $ find . -type d -iname files -execdir rm -rf \{\} + -print
   ```
 
 * Now, each `<user>` directory should only have two files in it: `<user>/main.cpp` and `<user>/details.json`
-- 
GitLab