Delete/Purge old plugins [message #332816] |
Mon, 10 November 2008 17:44  |
Eclipse User |
|
|
|
Hi!
Is there a way to delete all plugins from the eclipse installation which
have been replaced by newer versions? Google did not come up with anything
useful apart from deleting them manually.
Cheers,
Florian
--
DI Florian Hackenberger
florian@hackenberger.at
www.hackenberger.at
|
|
|
Re: Delete/Purge old plugins [message #332830 is a reply to message #332816] |
Mon, 10 November 2008 21:50   |
Eclipse User |
|
|
|
Originally posted by: eclipse-news.rizzoweb.com
On 11/10/2008 12:44 PM, DI Florian Hackenberger wrote:
> Hi!
>
> Is there a way to delete all plugins from the eclipse installation which
> have been replaced by newer versions? Google did not come up with anything
> useful apart from deleting them manually.
No, manual is the only way.
By the way, the old versions are kept around for good reasons, so you
may not want to go deleting them. For example, to enable the feature
that lets you revert to a previous configuration in the case that your
current one gets broken. Also, plugins can specify that they require a
specific version range of other plugins, so it is quite possible that
older versions need to be kept around to satisfy other plugins.
Hope this helps,
Eric
|
|
|
Re: Delete/Purge old plugins [message #332834 is a reply to message #332830] |
Mon, 10 November 2008 22:10   |
Eclipse User |
|
|
|
Originally posted by: zx.code9.com
Eric Rizzo wrote:
> On 11/10/2008 12:44 PM, DI Florian Hackenberger wrote:
>> Hi!
>>
>> Is there a way to delete all plugins from the eclipse installation which
>> have been replaced by newer versions? Google did not come up with
>> anything
>> useful apart from deleting them manually.
>
> No, manual is the only way.
> By the way, the old versions are kept around for good reasons, so you
> may not want to go deleting them. For example, to enable the feature
> that lets you revert to a previous configuration in the case that your
> current one gets broken. Also, plugins can specify that they require a
> specific version range of other plugins, so it is quite possible that
> older versions need to be kept around to satisfy other plugins.
In Eclipse 3.4, this has changed with p2 and its GC. By default,
plug-ins who have no dependents will be GC'd.
Cheers,
~ Chris
|
|
|
Re: Delete/Purge old plugins [message #332866 is a reply to message #332834] |
Tue, 11 November 2008 16:37  |
Eclipse User |
|
|
|
Originally posted by: eclipse-news.rizzoweb.com
On 11/10/2008 5:10 PM, Chris Aniszczyk wrote:
> Eric Rizzo wrote:
>> On 11/10/2008 12:44 PM, DI Florian Hackenberger wrote:
>>> Hi!
>>>
>>> Is there a way to delete all plugins from the eclipse installation which
>>> have been replaced by newer versions? Google did not come up with
>>> anything
>>> useful apart from deleting them manually.
>>
>> No, manual is the only way.
>> By the way, the old versions are kept around for good reasons, so you
>> may not want to go deleting them. For example, to enable the feature
>> that lets you revert to a previous configuration in the case that your
>> current one gets broken. Also, plugins can specify that they require a
>> specific version range of other plugins, so it is quite possible that
>> older versions need to be kept around to satisfy other plugins.
>
> In Eclipse 3.4, this has changed with p2 and its GC. By default,
> plug-ins who have no dependents will be GC'd.
Cool. But I'm curious how the "revert configuration" feature can work if
old plug-ins are removed. Would that scenario trigger re-download of the
GCed plug-ins?
Eric
|
|
|
Powered by
FUDForum. Page generated in 0.03836 seconds