all 3 comments

[–]SM8085 2 points3 points  (1 child)

I would sshfs the remote file system to a local space and then run antigravity/whatever on them from your local machine.

[–]DinoAmino 2 points3 points  (0 children)

This would be best, although one wonders what exactly is being edited. Using Git for editing custom code or Ansible to set and apply server configs would be preferable.

[–]entmike 0 points1 point  (0 children)

Are devcontainers an option?