Hi! When doing a $ fossil rm --hard dir1
it will unregister from fossil and then delete all files within the 'dir1' hierarchy. But: The directory/directories will keep existing! I need to do a $ rm -rf dir1 afterwards (so the whole --hard is mostly needless, since I need to do the additional "rm" anyhow). Could this be fixed, please? At least in this usage scenario above one wants to have no 'dir1' after the fossil operation, or? Thanks and best regards Tino _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
