I have not. I am exploring different options and weighing the pros-and-cons.
在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.
