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

Document how Noir projects could better support GitHub Codespace using devcontainer.json #3622

Closed
2 tasks done
Tracked by #3623
Savio-Sou opened this issue Nov 28, 2023 · 2 comments · Fixed by #4007
Closed
2 tasks done
Tracked by #3623
Assignees
Labels
documentation Improvements or additions to documentation enhancement New feature or request

Comments

@Savio-Sou
Copy link
Collaborator

Savio-Sou commented Nov 28, 2023

Problem

Development containers are very useful for smoothening developer experience of Noir projects, especially when paired with GitHub Codespace.

But we do not currently provide instructions on how to make use of Noir with the technology.

Happy Case

Pending

  1. enhancement
    critesjosh signorecello
  2. 1 of 1
    enhancement

Once the pending issues are closed, noir-example would serve as an example of how devcontainer.json could be implemented in Noir projects.

This issue should document:

  1. The content of devcontainer.json
  2. How to use it in Noir projects (copy-pasting and necessary modifications, if any)
  3. How to use it with GitHub Codespace

in the Noir Docs.

Would you like to submit a PR for this Issue?

No

Support Needs

No response

@Savio-Sou Savio-Sou added enhancement New feature or request documentation Improvements or additions to documentation labels Nov 28, 2023
@Savio-Sou Savio-Sou changed the title Document devcontainer.json in noir-examples and GitHub Codespace Document how Noir projects could better support GitHub Codespace using devcontainer.json Jan 3, 2024
@Savio-Sou
Copy link
Collaborator Author

@signorecello would you like to take this up?

@signorecello
Copy link
Contributor

Yep I'll take it from here 👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation enhancement New feature or request
Projects
Archived in project
2 participants