Bas Spitters (Aug 19 2020 at 10:22): Bas Spitters (Aug 19 2020 at 10:22):About jscoq, I wonder how it will play with https://github.com/features/codespaces, @Emilio Jesús Gallego Arias ?
Théo Zimmermann (Aug 19 2020 at 10:23):AFAICT codespaces are vscode-based
Bas Spitters (Aug 19 2020 at 10:24):Yes, but it seems to provide a number of similar features, doesn't it?
Théo Zimmermann (Aug 19 2020 at 10:33):Sure. It will depend on how much the vscode support for Coq progress.
Bas Spitters (Sep 17 2020 at 16:00):About Codespaces. I can confirm that the Coq vscode plugin syntax highlighting works. I haven't figured out what the possibilities are to use docker images to run Coq.
https://docs.github.com/en/github/developing-online-with-codespaces
Bas Spitters (Sep 21 2020 at 11:20):Getting Coq to run is actually easy. Open a terminal in github codespaces. Do the regular install, set the path and select "interpret to point".
Thanks @Maxime Dénès @Emilio Jesús Gallego Arias for your work on vscode.
Bas Spitters (Jan 05 2021 at 16:40):@Théo Zimmermann we spoke about an open alternative to codespaces at some point. Do you recall what it was called/where to find the discussion.
Théo Zimmermann (Jan 05 2021 at 16:45):It was called gitpod. I tried to use it without success.
Théo Zimmermann (Jan 05 2021 at 16:46):BTW, I'm still on the waitlist for codespaces so I couldn't try them out yet but I recall that you used them through GitHub Classrooms?
Bas Spitters (Jan 05 2021 at 17:01):Thanks!
I can use it on all repos.
Théo Zimmermann (Jan 05 2021 at 17:03):Yes, but what I meant to ask was: did you use it with students? And does this mean that through GitHub Classrooms you get to use it (and your students too) without waiting on a list?
Bas Spitters (Jan 05 2021 at 17:05):I encouraged the students to sign up, but don't know whether anyone actually did.
I think you reported an issue with gitpod. However, I cannot find the issue.
Théo Zimmermann (Jan 05 2021 at 18:40):Here: https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/Gitpod
Last updated: Apr 19 2024 at 23:02 UTC