io.directories: add ?delete-path which doesn't care if path exists

diff --git a/basis/io/directories/directories.factor b/basis/io/directories/directories.factor
index 11c000b229ea85998128eeb540a68c3cf709b6df..6b572329a80e01772e4e25bbbe721938b9a3019e 100644 (file)
--- a/basis/io/directories/directories.factor
+++ b/basis/io/directories/directories.factor
@@ -245,6 +245,9 @@ M: object copy-file
         bi
     ] [ delete-file ] if ;
 
+: ?delete-tree ( path -- )
+    dup file-exists? [ delete-tree ] [ drop ] if ;
+
 DEFER: copy-trees-into
 
 : copy-tree ( from to -- )