Fork me on GitHub
#calva
<
2020-09-07
>
kardan12:09:26

Is it possible to navigate to forms as in hitting a command over inc in (inc 2) would lead me to the def of inc. (As with “C .” in cider?)

kardan12:09:50

Tried to look in the docs, but could not find anything

pez12:09:15

I think you are looking for Goto definition. Check the command-palette for the default shortcut.

kardan12:09:39

Ah, yes 😳

pez12:09:35

You’re welcome. Maybe it should be mentioned in the docs. But I think a lot of things are left out of that, since it is VS Code commands really.

kardan12:09:45

I was searching for Calva: xxx

kardan12:09:58

Yes, this was just me being new to VS Code

kardan12:09:09

Can’t cover everything in the docs of Calva

pez12:09:12

Yes, that is an obvious thing to assume.

pez12:09:32

(I mean to include Calva in the search.)

pez12:09:43

I think that we can improve this page by including the advice to also look for general VS Code commands: https://calva.io/finding-commands/

pez14:09:10

No, We don’t have that in Calva yet. Both issue and PR welcome. 😃

borkdude15:09:53

I only recently used this feature once, but I was happy that it was there

pez15:09:30

Maybe VS Code has it? I am a bit surprised I haven't seen it requested before...

borkdude15:09:25

I'm not using it anymore. But for cases where you mount a filesystem on to some other directory, it works nicely

kardan15:09:04

If you use docker for your development this is handy

kardan15:09:07

As a single developer you could mount your code in a replicate structure inside the container. But if you’re a team that strategy kinda falls apart

borkdude15:09:10

yeah, when you edit files locally and also mount them and then connect to the docker REPL for eval right?

kardan15:09:26

Or especially if you want to navigate the source via goto it becomes problematic. Form meta info will not match reality

kardan15:09:31

Or match editor

borkdude15:09:44

@kardan I think this might be a better solution: https://code.visualstudio.com/docs/remote/containers

borkdude15:09:28

I use a similar extension for SSH, it works miraculously

kardan15:09:53

Interesting

kardan16:09:31

Will read up later once all the kids are in bed. Thanks for the link