Thanks Felix, useful info about the server. I think I installed an earlier version 'directly' like you suggest here, but thought I'd try the 'seamless' method this time round.
Happy to give it another go! Regard,s J^n On Thursday, September 29, 2022 at 1:44:30 AM UTC+1 Félix wrote: > 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/90ee2c7a-46c5-4a0a-9c14-d3edb0d3c244n%40googlegroups.com.
