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

GitHub codespaces setup #65

Merged
merged 4 commits into from
Jan 12, 2024
Merged

GitHub codespaces setup #65

merged 4 commits into from
Jan 12, 2024

Conversation

TheR1D
Copy link
Owner

@TheR1D TheR1D commented Mar 14, 2023

No description provided.

@TheR1D TheR1D added the development Changes related to development (utilities, tests, CI/CD) label Mar 14, 2023
@TheR1D TheR1D self-assigned this Mar 14, 2023
@TheR1D TheR1D linked an issue Mar 14, 2023 that may be closed by this pull request
@joeytwiddle
Copy link

joeytwiddle commented Mar 26, 2023

Using VSCode >Configure Recommended Extensions (Workspace Folder) I generated this extensions.json file, with two entries:

{
	// See https://go.microsoft.com/fwlink/?LinkId=827846 to learn about workspace recommendations.
	// Extension identifier format: ${publisher}.${name}. Example: vscode.csharp

	// List of extensions which should be recommended for users of this workspace.
	"recommendations": [
		"ms-python.pylint",
		"ms-python.python"
	],
	// List of extensions recommended by VS Code that should not be recommended for users of this workspace.
	"unwantedRecommendations": []
}

I believe this will produce something like this:

(source article)

Could be useful for developers.

@TheR1D TheR1D force-pushed the codespaces branch 5 times, most recently from 70c31cb to ef9b50b Compare January 12, 2024 04:14
@TheR1D TheR1D marked this pull request as ready for review January 12, 2024 04:39
@TheR1D TheR1D merged commit 334580c into main Jan 12, 2024
3 checks passed
@TheR1D TheR1D deleted the codespaces branch January 12, 2024 04:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
development Changes related to development (utilities, tests, CI/CD)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Codespaces
2 participants