Re: Forcing reinstall in package.el

[Tom Tromey]

>>>>> "Stefan" == Stefan Monnier <address@hidden> writes:

Tom> I think the current behavior is better.
Tom> Usually installing something that has the same or lesser version is a
Tom> user error.  Only a subset of users will actually want to
Tom> force-overwrite a package.

Stefan> I mostly agree, but also agree that reinstalling is an important case.
Stefan> Is there any reason prompting the user is not a good solution?

As long as the prompt is clear that this is probably not what you meant,
I guess it is ok.

Tom