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 <dev....@gmail.com> 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 <dev....@gmail.com> 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 <dev....@gmail.com> 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 sage-devel+...@googlegroups.com. >>> >> > 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 sage-devel+...@googlegroups.com. >>> > 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 sage-devel+...@googlegroups.com. >> > 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/74197697-dbfc-4f43-8969-936f525d83b8n%40googlegroups.com.
