On 12-12-12 05:25 PM, Jens Lehmann wrote:
> So unless people agree that deinit should also remove the work
> tree I'll prepare some patches teaching all git commands to
> consistently ignore deinitialized submodules. Opinions?
I agree with Trevor's suggestion that deinit should restore the user to the
state he would be in if he were never interested in the submodule. So clean
up .git/config and remove the work tree. (Maybe just issue a warning instead
if the submodule's work tree is dirty.)
Also, given that semantic, I agree with Michael that a bare "git submodule
deinit" should *not* deinitialize all the submodules. It should require a
"--all" for that. The bare command should just print a usage summary.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html