Hello, apparently there's no analogous of "zef install ." to uninstall a module, i.e. an "anonymous" way to do it.
The problem that I'm trying to solve is to automatically uninstall and reinstall a module before a "git push". In order to do this I'm using the git pre-push hook. So far my pre-push script is just: zef install . --force-install but now I'm thinking that it's not enough and I'd like to uninstall the current module and then re-install it. To do that I need a way to uninstall an "anonymous" module, something along the lines of "zef uninstall .". Any idea? -- Fernando Santagata