From 87133a93588415c9f4c47ff72061f2b354073675 Mon Sep 17 00:00:00 2001 From: Elena Tanasoiu Date: Mon, 30 Jan 2023 16:31:20 +0000 Subject: [PATCH 1/3] Set current database automatically Co-authored-by: Shati Patel --- .tours/codeql-tutorial.tour | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.tours/codeql-tutorial.tour b/.tours/codeql-tutorial.tour index f6b17b6..427a66f 100644 --- a/.tours/codeql-tutorial.tour +++ b/.tours/codeql-tutorial.tour @@ -12,7 +12,8 @@ }, { "directory": "codeql-tutorial-database", - "description": "To run a CodeQL query, we need to select a CodeQL database.\n\nWe have prepared a sample database for you to use in this tutorial.\nLook for the `codeql-tutorial-database` directory highlighted in the Explorer view in your left sidebar.\n\nTo select this as your current database, right-click on the directory, and click `CodeQL: Set Current Database`. Click `Next` when you have done that." + "description": "To run a CodeQL query, we need to select a CodeQL database.\n\nWe have prepared a sample database for you to use in this tutorial.\nLook for the `codeql-tutorial-database` directory highlighted in the Explorer view in your left sidebar.\n\nWe have selected this as your current database.", + "commands": ["codeQL.setDefaultTourDatabase"] }, { "file": "tutorial-queries/tutorial.ql", From 8b2911386b60f942d9ba9242f42a2fd52bb2c004 Mon Sep 17 00:00:00 2001 From: Elena Tanasoiu Date: Tue, 31 Jan 2023 17:05:13 +0000 Subject: [PATCH 2/3] Explain how to see the selected database and how to change it. --- .tours/codeql-tutorial.tour | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.tours/codeql-tutorial.tour b/.tours/codeql-tutorial.tour index 427a66f..91928bc 100644 --- a/.tours/codeql-tutorial.tour +++ b/.tours/codeql-tutorial.tour @@ -12,7 +12,7 @@ }, { "directory": "codeql-tutorial-database", - "description": "To run a CodeQL query, we need to select a CodeQL database.\n\nWe have prepared a sample database for you to use in this tutorial.\nLook for the `codeql-tutorial-database` directory highlighted in the Explorer view in your left sidebar.\n\nWe have selected this as your current database.", + "description": "To run a CodeQL query, we need to select a CodeQL database.\n\nWe have prepared a sample database for you to use in this tutorial.\nLook for the `codeql-tutorial-database` directory highlighted in the Explorer view in your left sidebar.\n\nWe have selected this as your current database. You can see this is selected by going to the CodeQL extension and checking that `codeql-tutorial-database` is present in the `Databases` panel. From here you are able to select a different database by right-clicking on it and choosing `Set Current Database`", "commands": ["codeQL.setDefaultTourDatabase"] }, { From 7303f0fe7f0a595c1d78cda99af2114dcc25beb3 Mon Sep 17 00:00:00 2001 From: Elena Tanasoiu Date: Fri, 3 Feb 2023 12:15:27 +0000 Subject: [PATCH 3/3] Update step description Co-authored-by: Andrew Eisenberg --- .tours/codeql-tutorial.tour | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.tours/codeql-tutorial.tour b/.tours/codeql-tutorial.tour index 91928bc..769ed9a 100644 --- a/.tours/codeql-tutorial.tour +++ b/.tours/codeql-tutorial.tour @@ -12,7 +12,7 @@ }, { "directory": "codeql-tutorial-database", - "description": "To run a CodeQL query, we need to select a CodeQL database.\n\nWe have prepared a sample database for you to use in this tutorial.\nLook for the `codeql-tutorial-database` directory highlighted in the Explorer view in your left sidebar.\n\nWe have selected this as your current database. You can see this is selected by going to the CodeQL extension and checking that `codeql-tutorial-database` is present in the `Databases` panel. From here you are able to select a different database by right-clicking on it and choosing `Set Current Database`", + "description": "To run a CodeQL query, we need to select a CodeQL database.\n\nWe have prepared a sample database for you to use in this tutorial.\nLook for the `codeql-tutorial-database` directory highlighted in the Explorer view in your left sidebar.\n\nWe have selected this as your current database. You can see this is selected by going to the CodeQL extension and checking that `codeql-tutorial-database` is present in the `Databases` panel. From here you are able to select a different database by right-clicking on it and choosing `Set Current Database`.", "commands": ["codeQL.setDefaultTourDatabase"] }, {