There were problems with microsoft's server last night, so you might want to retry this.
Also, you can download the extension itself t https://marketplace.visualstudio.com/items?itemName=boltex.leointeg use the link on the right (see below "Download Extension") [image: Screenshot from 2022-09-28 20-37-43.png] And then user the command palette Ctrl+shit+P for the command "install from vsix" [image: Screenshot from 2022-09-28 20-40-15.png] And then browse to the leointeg VSIX extension file you've just downloaded Hope this helps for installing on VScodium! Please share a screenshot when using it under this editor if it works! I'd be amazed to see it!! Thanks again for trying out LeoInteg and giving feedback!!! Félix On Wednesday, September 28, 2022 at 10:17:15 AM UTC-4 jkn wrote: > Hi Felix > do you know if there are any issues in installing LeoInteg with > VScodium > (https://github.com/VSCodium/vscodium,build of VSCode without tracking > etc. )? > > I am very much a novice with VSCode/Vscodium; I tried CTRL+P and > "ext install boltex.leointeg", but get an error "Server returned 500" > > I have successfully installed a couple of VSCode plugins to VSCode, but I > don't know how much can be assumed... > > Thanks very much, J^n > > On Wednesday, September 28, 2022 at 10:55:20 AM UTC+1 Edward K. Ream wrote: > >> On Tuesday, September 27, 2022 at 10:39:46 PM UTC-5 Félix wrote: >> >> ...The biggest LeoInteg update ever! >>> >> >> Congratulations! vs-code updated leoInteg automagically. Everything >> looks good. >> >> I am going to try leoInteg for my study of ocaml and mypy. >> >> Edward >> > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/c59fafd8-984d-41bf-8eb6-82cae9136a6an%40googlegroups.com.
