From 0974d52f0316fbdb539ca9776113c3d3ccdae0c2 Mon Sep 17 00:00:00 2001
From: Rob van Son <r.j.j.h.vanson@gmail.com>
Date: Mon, 13 Oct 2014 14:39:33 +0200
Subject: [PATCH] Further secured use of rm -r

---
 Config.praat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Config.praat b/Config.praat
index 54919e2..d460f4d 100644
--- a/Config.praat
+++ b/Config.praat
@@ -913,7 +913,7 @@ procedure removeWordlist .deletedWordlistName$
 			if windows
 				nocheck system rmdir "'.targetDir$'" /s /q
 			elsif fileReadable(.targetDir$)
-				nocheck system rm -r -- "'.targetDir$'"
+				system bash -rc -- 'rm -r -- "'.targetDir$'"'
 			endif
 		endif
 		# Remove deleted word list
-- 
2.11.4.GIT