Thanks J^n ! Please post a screenshot of vscodium running leointeg if you feel like it! i'm curious to see how other people use it (on various plat form and editors! )
Thanks again! :) Félix On Thursday, September 29, 2022 at 2:45:40 AM UTC-4 jkn wrote: > 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/60c2eacd-debc-430f-95b2-bebfa27b6d2bn%40googlegroups.com.
