Thank you for the info, Tobias. Currently I more or less decided to develop Sage on CoCalc. I will check out some of the things you mentioned though.
在2023年6月4日星期日 UTC+2 17:19:43<Tobias Diez> 写道： > I used github codespaces for sage development for some until since I only > had a weak laptop with me. It worked quite well, actually better than > gitpod (mainly due to better vscode integration). But you can easily try it > out yourself. Just go to > https://github.com/codespaces/new?hide_repo_select=true&ref=develop&repo=597660615 > > (or use Code > Codespaces from https://github.com/sagemath/sage if the > direct link is not working) and create a codespace. You may need to select > the 4 core machine type, otherwise leave the defaults (develop branch and > conda devcontainer). We provide prebuilds, so it should only take a min or > so until you have a dev environment with fully compiled sage. > > On Saturday, 3 June 2023 at 22:40:15 UTC+8 William Stein wrote: > >> On Sat, Jun 3, 2023 at 7:13 AM Jing Guo <[email protected]> wrote: >> >>> Thank you, Dima. I just learned that CoCalc also provides dev >>> environment setup... >>> >> >> I can also give you a significant free upgrade on cocalc if you want to >> use it for sage dev. >> >> >>> I guess I will try GitPod first then. >>> >>> 在2023年6月3日星期六 UTC+2 14:26:01<Dima Pasechnik> 写道： >>> >>>> On Sat, Jun 3, 2023 at 1:19 PM Jing Guo <[email protected]> wrote: >>>> > >>>> > I have not. I am exploring different options and weighing the >>>> pros-and-cons. >>>> >>>> Another option is cocalc.com - although you'd rather pay for >>>> subscription, to allow development environments. >>>> Apart from this, I am only aware of GitPod and Codespaces. >>>> Needless to say, you can also set up a sufficently big VM on a cloud >>>> service and use it, but most probably you'd need to pay, >>>> as Sage is resource-hungry. >>>> >>>> >>>> > >>>> > 在2023年6月3日星期六 UTC+2 14:01:00<Dima Pasechnik> 写道： >>>> >> >>>> >> On Sat, Jun 3, 2023 at 12:16 PM Jing Guo <[email protected]> wrote: >>>> >> > >>>> >> > Hello everyone, >>>> >> > >>>> >> > Last year, I developed Sage inside Linux VM (Debian, to be >>>> specific) on my old Macbook Pro, so the compiling time was not really >>>> good, >>>> or was not what it could have been. >>>> >> > >>>> >> > Recently, I learn that there exist some services like GitHub's >>>> Codespaces, which seems to provide develop-and-build environments on their >>>> own machines(?). I was wondering that if anyone have had some experience >>>> with these services. If so, do you have any recommendations for >>>> alternatives other than the GitHub one? Or would you say that the GitHub >>>> one is good enough? (Sage documentation seems to suggest GitPod) >>>> >> >>>> >> Have you tried GitPod? >>>> >> >>>> >> > >>>> >> > Thank you for your time. >>>> >> > >>>> >> > Jing >>>> >> > >>>> >> > -- >>>> >> > You received this message because you are subscribed to the Google >>>> Groups "sage-devel" 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/sage-devel/686c07aa-a4d5-4f50-88cf-0e30f0e95278n%40googlegroups.com. >>>> >>>> >>>> > >>>> > -- >>>> > You received this message because you are subscribed to the Google >>>> Groups "sage-devel" 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/sage-devel/60475ea1-a782-4c54-a3dc-a8d1dacc8b53n%40googlegroups.com. >>>> >>>> >>>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "sage-devel" 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/sage-devel/6d2df1b1-8888-4820-8817-12a37327f6d7n%40googlegroups.com >>> >>> <https://groups.google.com/d/msgid/sage-devel/6d2df1b1-8888-4820-8817-12a37327f6d7n%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- >> -- William Stein >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" 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/sage-devel/69285291-5a24-4bb1-b990-e254db32fb34n%40googlegroups.com.
