How to install packed theia plugin xxx.theia

#1

i follow this docs https://theia-ide.org/docs/authoring_plugins/ write a theia plugin. now i want to pack it and install in my theia ide.
however it build as xxxxxx.theia, i don’t know how to write it in package.json. i tryed use

    "theiaPlugins": {
             "xxx": "http://xxxxx/xxxx.theia"
    }

here is the error

--- downloading plugins ---
error: 'xxxxxx' has an unsupported file type: 'http://127.0.0.1:8000/xxxxxx.theia'

so we can not install .theia ? or how can i build a native theia plugin to vsix ?

in the sample code’s package.json

"build": "yarn run format-code && yarn run compile && theia-plugin pack"

then it is

🔍 Validating...✔️ 
🗂  Getting dependencies...✔️ 
🗃  Resolving files...✔️ 
✂️  Excluding files...✔️ 
✍️  Generating Assembly...✔️ 
🎉 Generated plugin: xxxxx.theia
Done in 5.76s.

so is xxxx.theia is equal to xxxx.vsix?

#2

@misakajimmy the yarn download:plugins script does not yet support downloading .theia plugins from a url:

We can adjust the script to support downloading and unpacking them.

Update: opened related issue: https://github.com/eclipse-theia/theia/issues/9264

#3

I was not aware of .theia plugins. Is that a Che thing?

#4

no, just theia plugin (follow https://theia-ide.org/docs/authoring_plugins/ ),it would packed like .theia