Skip to content

Configure the project for GitHub Codespaces#2443

Merged
timrogers merged 2 commits intomainfrom
codespaces
May 13, 2022
Merged

Configure the project for GitHub Codespaces#2443
timrogers merged 2 commits intomainfrom
codespaces

Conversation

@timrogers
Copy link
Contributor

This adds a simple Codespaces configuration, .devcontainer/devcontainer.json, to the project.

It uses v3.1 of the .NET Core SDK from Docker Hub, installs Python 3 and mkdocs to support building the docs and includes useful VS Code extensions for working on the project.

I also improve the Visual Studio Code tasks definitions (.vscode/ tasks.json), adding pre-defined tasks for running unit and convention tests and building the docs.

Codespaces magic means that, when you build the docs, the port will automatically be opened so you can view the docs in real time at localhost:4000.

timrogers added 2 commits May 12, 2022 11:09
This adds a simple Codespaces configuration,
`.devcontainer/devcontainer.json`, to the project.

It uses v3.1 of the .NET Core SDK from Docker Hub, installs
Python 3 and `mkdocs` to support building the docs and includes
useful VS Code extensions for working on the project.
This improves the Visual Studio Code tasks definitions (`.vscode/
tasks.json`), adding pre-defined tasks for running unit and
convention tests and building the docs.

Codespaces magic means that, when you build the docs, the port
will automatically be opened so you can view the docs in real
time at `localhost:4000`.
@timrogers timrogers requested a review from nickfloyd May 12, 2022 10:13
Copy link
Contributor

@nickfloyd nickfloyd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for doing this @timrogers !

@timrogers timrogers merged commit c9a7533 into main May 13, 2022
@timrogers timrogers deleted the codespaces branch May 13, 2022 09:03
@nickfloyd
Copy link
Contributor

release_notes: Configures the project for GitHub Codespaces

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type: Maintenance Any dependency, housekeeping, and clean up Issue or PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants