Download tern plugins from ternjs repository.json

[paulvi]

started as discussion in #190

I think we could start to develop a simple wizard which displays content of this repository.json (we could host for the moment in tern.java for our test).

We select a tern plugin (like closure) and download it with npm for instance.

[angelozerr]

@paulvi I have commited the wizard which download tern plugin :

Select Tern -> Download Tern Modules :

It open the wizard which loads from HTTP the repository.json (for the moment wizard uses https://github.com/angelozerr/tern.java/blob/master/eclipse/tern.eclipse.ide.tools.ui/TO_DELETE/repository.json but after it will use http://ternjs.net/repository.json) :

Now we must download the tern module. how to do that ? With npm? With Java code?

[angelozerr]

Perhaps we should rename repository.json to marketplace.json ?

I think it should be cool to have a simple HTML page http://ternjs.net/marketplace.html which load JSON http://ternjs.net/marketplace.json to have this kind of UI http://marketplace.sarah.encausse.net/store

@paulvi @marijnh what do you think about this idea?

[marijnh]

'Marketplace' suggests commercial selling. I think just calling it 'plugins.json' would be clearest.

[paulvi]

plugins.json

👍 That is nice. Word "repository" may mean git repository

I think it should be cool to have a simple HTML page

that is ternjs/tern#431
once there is plugins.json ternjs/tern#424

[paulvi]

@paulvi I have commited the wizard which download tern plugin :

Select Tern -> Download Tern Modules :

Is this wizard for end users?

I will try to use
https://github.com/paulvi/tern-plugins/blob/master/plugins.json

[angelozerr]

I think just calling it 'plugins.json' would be clearest.

In tern.java we decided to use tern modules to name plugins & JSON Type Definition. If we use 'plugins.json', it means that we have only list of plugins and not JSON Type Definition, correct?

[angelozerr]

Is this wizard for end users?

It's just a POC, any feedback are welcome!

I will try to use
https://github.com/paulvi/tern-plugins/blob/master/plugins.json

It should work.

[paulvi]

it means that we have only list of plugins and not JSON Type Definition, correct?

isn't JSON Type Definition a part that plugin can have?

For end users having one word would make life simpler.

[angelozerr]

isn't JSON Type Definition a part that plugin can have?

yes

For end users having one word would make life simpler.

that's why we use tern modules inside tern.java

[paulvi]

That is #63

Can @marijnh share the same view on modules vs plugins ?