plugins distribution

[Manuele Simi]

Hello,

Our lab is back to use mbeddr plugins after a while and we are working on porting our own plugins to MPS2018.1.

I have a couple of questions about the distribution of the mbeddr plugins:

1) We were used to the Plugin Managerto install the plugins. And so we instructed our users. We noticed that the mbeddr Plugin Manager is not available for the most recent releases of MPS. Is that a definitive choice? Of course, we installed the plugins from the Zip archive, but few of our users are not familiar with the command line.

2) The latest nightly build available #559 is from Feb 15th (https://github.com/mbeddr/mbeddr.core/releases). Is that intentional? I mean, we are starting to migrate our plugins and we want to be sure that we are using your latest code (but not from source).

Thanks,
manuele

[Sascha Lißon]

The plugin manager was only required to work around a bug in the plugin manager of MPS. This bug is fixed in newer versions of MPS. You can manually add the repository "http://mpsrepo.slisson.de/".

[Manuele Simi]

Great. Thank you, Sasha.

Also I figured out about the new MPS Extensions repository.

On Tue, May 8, 2018 at 4:17 AM, 'Sascha Lißon' via mbeddr-discuss <mbeddr-...@googlegroups.com> wrote:

The plugin manager was only required to work around a bug in the plugin manager of MPS. This bug is fixed in newer versions of MPS. You can manually add the repository "http://mpsrepo.slisson.de/".

--
You received this message because you are subscribed to the Google Groups "mbeddr-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to mbeddr-discuss+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.