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

Add devcontainer.json #68

Closed
1 task done
Tracked by #3622 ...
Savio-Sou opened this issue Nov 28, 2023 · 4 comments
Closed
1 task done
Tracked by #3622 ...

Add devcontainer.json #68

Savio-Sou opened this issue Nov 28, 2023 · 4 comments
Labels
enhancement New feature or request

Comments

@Savio-Sou
Copy link
Member

Savio-Sou commented Nov 28, 2023

Problem

To set up an environment with the best Noir developer experience currently requires:

  1. Manually search for and install the Noir Language Support
  2. Manually install Nargo following the steps in the docs

Not the end of the world, but not the smoothest onboarding experience we could attain either.

Happy Case

A development container allows one to use a container as a full-featured development environment. Containers can be run locally or remotely, in a private or public cloud, and in a variety of supporting tools (e.g. VS Code, GitHub Codespace).

A devcontainer.json with settings that automatically:

  1. Install the Noir VS Code extension
  2. Fetch and initialize a docker instance with noirup and nargo readily available (once the below prerequisite is closed)

could greatly smoothen the onboarding experience of Noir developers.

Pending

Preview Give feedback
  1. enhancement
    critesjosh signorecello

Having one here in this repository could serve as a recommended example that the community can copy into their Noir projects and ease developers working on such projects.

Alternatives Considered

No response

Additional Context

This, when paired with GitHub Codespace, could greatly minimize the friction of spinning up a cloud development environment instance.

There is a seemingly similar initiative in noir-lang/noir on noir-lang/noir#3097. While we can certainly make reference to how it is written, that issue is gearing towards easing development on Noir itself while this issue focuses on easing development of Noir projects.

Would you like to submit a PR for this Issue?

No

Support Needs

No response

@signorecello
Copy link
Collaborator

I love this, me or @critesjosh will give it a try ASAP

@critesjosh
Copy link
Collaborator

@Savio-Sou #67 is a blocker for this, correct?

@Savio-Sou
Copy link
Member Author

@critesjosh blocker to item 2 (but not item 1) under Happy Case.

@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Jan 3, 2024
@Savio-Sou Savio-Sou transferred this issue from noir-lang/noir-examples Jan 3, 2024
@Savio-Sou
Copy link
Member Author

Closed with e4737ca.

@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Jan 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants