matitamake /x/y/z/foo/a.ma
- notazione -> Luca e Zack
- non chiudere transitivamente i moo ??
- - matitaclean all (non troglie i moo?)
DEMONI E ALTRO
DONE
+- matitaclean all (non troglie i moo?) -> Gares
- matitaclean (e famiglia) non cancellano le directory vuote
(e per giunta il cicbrowser le mostra :-) -> Gares
- missing feature unification: applicazione di teoremi (~A) quando il goal
ignore
(Sys.command
("find " ^ xmldir ^
- " -name *.xml.gz -o -name *.moo -exec rm {} \\; 2> /dev/null"));
- ignore (Sys.command ("find " ^ xmldir ^ " -type d -exec rmdir -p {} \\; 2> /dev/null"));
+ " \\( -name \\*.xml.gz -o -name \\*.moo \\) " ^
+ "-exec rm \\{\\} \\; 2> /dev/null"));
+ ignore
+ (Sys.command ("find " ^ xmldir ^
+ " -type d -exec rmdir -p {} \\; 2> /dev/null"));
exit 0
end
let uris_to_remove =ref [] in