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/CACLE5GBbAaJADhcTt-6yPUUBy%3D2i-qa2Ho01hMEdOWkGW%2BPaRw%40mail.gmail.com.
