Is anyone using cursor via ssh to do c# development

My reason for asking, can’t seem to get c# extensions working correctly when developing over ssh. I’m frequently switching back/forth w/ jetbrains rider to compensate, kinda frustrating.

what do you use ssh for?

Due to complexity, my entire dev env is in a docker container. Doing remote dev w/ docker container env is useful for me.

is this for work ? how does putting your dev env in a container make things easier ? (im just curious)

I do the same at work. When writing deep integration tests which span multiple containers in docker compose, it makes life easier, imho.

This whole thing of ignoring type info, not sure it’s a great idea? Ideally, gpt-4 should be leveraging any available type info on the fly? @truell20 @sualeh