Reenforced #3828
Open
Reenforced #3828
+155
−1
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
When opening https://github.com/github/codespaces-codeql/ in a codespace, it's easy to miss the prompt that tells you to open the tutorial.code-workspace file. In fact people actively dismiss the alert to get it out of the way. If you miss that prompt, you end up with a single-rooted workspace, which causes various other problems. While there is an open issue to allow VS Code to open a default workspace [1], there doesn't seem to have been any progress on it in the last two years. So we're taking matters into our own hands and forcing the extension to open the tutorial workspace, if it detects it. This will only happen if the following three conditions are met: - the .tours folder exists - the tutorial.code-workspace file exists - the CODESPACES_TEMPLATE setting hasn't been set NB: the `CODESPACES_TEMPLATE` setting can only be found if the tutorial.code-workspace has already been opened. So it's a good indicator that we're in the folder, but the user has ignored the prompt. [1]: microsoft/vscode-remote-release#3665
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Replace this with a description of the changes your pull request makes.
Remember to update the changelog if there have been user-facing changes!