Fork me on GitHub
#gitpod
<
2021-08-19
>
seancorfield00:08:31

I decided to make a v0.1.0 release of deps-new today and did all the editing via Gitpod rather via VS Code locally. I suspect I will get quite fond of being able to just spin up "VS Code" on the web to make small changes, especially since I can easily run project tests via a Socket REPL that way. Although I ran into concurrent thread limitations trying to run next.jdbc's test suite in the Clover REPL... I haven't tried just running the tests directly via the terminal in Gitpod (but I do sometimes run into issues trying to run that test switch on my laptop).

seancorfield00:08:14

Yeah, runs fine from the terminal. Fails (in the heavily concurrent folding test) when run via the REPL. Interesting.

pez06:08:15

I also, to my surprise, notice that I prefer to use the web version for some tasks. And I now realize that we can probably use it for hacking on Calva. Not sure how nice that workflow will be, I remember it being a bit strange when I tried it with Theia.

pez15:08:22

Have you found a way to get undo to work via keyboard shortcut? I am rebinding it to ctrl+z, but I am a mac user. What would windows users do?

seancorfield16:08:14

cmd-z works on a Mac "as normal". I haven't tried Gitpod in a Windows browser yet.

pez16:08:12

It does? Not for me…

pez16:08:41

I have tried with Safari and Chrome. What are you using?

seancorfield16:08:55

Edge (Chromium).

seancorfield16:08:29

(I'm on the dev channel builds of Edge, in case that makes a difference)

pez17:08:23

I’ll have to try that. Crazy if an MS browser is the best choice.

seancorfield17:08:43

I just tried Gitpod on Windows using Edge (dev) and ctrl-z works for undo there by default "as normal".

pez19:08:47

Maybe they just do the sensible thing and don’t consume the shortcut before the app has had a chance to do it.

pez20:08:24

Doesn’t work in Edge for me either.

seancorfield20:08:36

Maybe a keyboard issue? You're on a Swedish k/b, yes?

pez20:08:04

Yes. Swedish. It works in Firefox though. But there cmd+shift+p opens private browsing instead of the command palette. Haha