vscode-codeql icon indicating copy to clipboard operation
vscode-codeql copied to clipboard
verified publisher icon github

Document how to use VS Code Remote Development to build queries on a remote machine

Open aeisenberg opened this issue 5 years ago • 1 comments

@adityasharad mentioned that it is possible to use VS Code Remote Development to build queries on a remote machine. Let's create some documentation on this. I'm not sure exactly where this should go. Perhaps in the official CodeQL documentation area. Perhaps as a blog post (or both).

First, let's get the documentation down and then let's figure out where it should go.

aeisenberg avatar Jun 17 '20 20:06 aeisenberg

Is there any limitations or catches when using VS Code Remote Development with CodeQL?

Manouchehri avatar Mar 23 '21 17:03 Manouchehri

I've tested the extension against a remote host and it generally seems to be working okay without anything specific set up outside of what is described in https://code.visualstudio.com/docs/remote/ssh.

I'm going to go ahead and close this issue, but @aeisenberg please feel free to re-open if I've missed anything.

charisk avatar Oct 20 '23 12:10 charisk