Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Step 2 - Set up your IDE #2

Closed
github-learning-lab bot opened this issue Mar 11, 2022 · 2 comments
Closed

Step 2 - Set up your IDE #2

github-learning-lab bot opened this issue Mar 11, 2022 · 2 comments
Assignees

Comments

@github-learning-lab
Copy link

Step 2: Setup your environment

We will use the CodeQL extension for Visual Studio Code. You will take advantage of IDE features like auto-complete, contextual help and jump-to-definition.

Don't worry, you'll do this setup only once, and you'll be able to use it for future CodeQL development.

Follow the instructions below.

@github-learning-lab
Copy link
Author

⌨️ Activity: Set up

  1. This course is using GitHub actions. Please make sure that GitHub actions is enabled on this repository: Enable actions
  2. Install the Visual Studio Code IDE.
  3. Go to the CodeQL starter workspace repository, and follow the instructions in that repository's README. When you are done, you should have the CodeQL extension installed and the vscode-codeql-starter workspace open in Visual Studio Code.
  4. Download and unzip this U-Boot CodeQL database, which corresponds to revision d0d07ba.
  5. Import the database into Visual Studio Code (see documentation). This is the database that we'll be running queries on for the duration of this course.
  6. Clone this course repository on your local machine.
  7. Add the course repository to your Visual Studio Code starter workspace, by navigating to File -> Add Folder to Workspace.... If you open this folder you should see several files in there, including qlpack.yml and README.md.

When you're done setting up, please close this issue, then wait for the next set of instructions to appear in a comment below.

@github-learning-lab
Copy link
Author

Let's continue to the next step.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant