-
Committer:
Jean-Vincent Loddo
-
Date:
2020-03-30 15:00:53 UTC
-
Revision ID:
loddo@lipn.univ-paris13.fr-20200330150053-4uenh7cd8sqy6vhx
Added function UnixExtra.Dir.remove_recursively which remove a directory and its content recursively. This function tries to remove anything possible and returns true if and only if *all* the removing operation succeed (i.e. if all files and sub-directories has been removed). The execution may be logged with the option ~verbose.