Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Eclipse Platform » Delete/Purge old plugins
Delete/Purge old plugins [message #332816] Mon, 10 November 2008 17:44 Go to next message
Florian Hackenberger is currently offline Florian HackenbergerFriend
Messages: 123
Registered: July 2009
Senior Member
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 Go to previous messageGo to next message
Eclipse UserFriend
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 Go to previous messageGo to next message
Eclipse UserFriend
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 Go to previous message
Eclipse UserFriend
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
Previous Topic:Outline view default to collapse?
Next Topic:How to find dependencies of plug-in?
Goto Forum:
  


Current Time: Sat Jul 20 23:24:21 GMT 2024

Powered by FUDForum. Page generated in 0.03155 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top