Thank you, Dima. I just learned that CoCalc also provides dev environment setup...
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.
