Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

How do I install external plug-ins without using Eclipse Update Manager?

April 26, 2017Eclipse external install manager plug-ins

0

Posted

How do I install external plug-ins without using Eclipse Update Manager?

1 Answer

0

Posted

Although it is preferred to install additional plug-ins into the Rodin platform using the Update Manager of Eclipse, this might not always be practical. In this case, a manner to install these plug-ins is to emulate either manually or using ad-hoc scripts the operations normally performed by the Update Manager. This manual installation of plug-ins is described in Installing external plug-ins manually.