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

Codespace support for exemplar #63

Merged
merged 6 commits into from
Nov 18, 2024
Merged

Codespace support for exemplar #63

merged 6 commits into from
Nov 18, 2024

Conversation

wusatosi
Copy link
Member

@wusatosi wusatosi commented Oct 30, 2024

This is a draft configuration for devcontainer.
The configuration is pretty bare-bone right now, but it should be working.

Looking for feedback standard tools/ extensions I should include.

To try it out:
Navigate to the codespace branch on GitHub.com and press , or ctrl+alt+,.

Note: I don't think its possible to test if the devcontainer config is build-able.

Closes #54 .

@wusatosi wusatosi mentioned this pull request Oct 30, 2024
@camio
Copy link
Contributor

camio commented Oct 31, 2024

@wusatosi, how can we test this?

@wusatosi wusatosi marked this pull request as ready for review November 8, 2024 02:47
@wusatosi
Copy link
Member Author

wusatosi commented Nov 8, 2024

@wusatosi, how can we test this?

You can try this out by going to the codespace branch on GitHub and press ,.

@wusatosi wusatosi requested review from dhollman and inbal2l November 8, 2024 02:49
Copy link
Member

@neatudarius neatudarius left a comment

Choose a reason for hiding this comment

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

LGTM 👍

Nice work!
image

I would just want to have all these latest compilers installed, if possible.
I tested and it works!!!!

@wusatosi
Copy link
Member Author

[It works]

YEY! Thanks for testing this.

@wusatosi
Copy link
Member Author

Merging this PR first, we can add more extensions later.

@wusatosi wusatosi merged commit 1ba03f6 into main Nov 18, 2024
62 checks passed
@wusatosi wusatosi deleted the codespace branch November 18, 2024 17:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Support devcontainer
3 participants