Skip to content

Codespace support for exemplar#63

Merged
wusatosi merged 6 commits intomainfrom
codespace
Nov 18, 2024
Merged

Codespace support for exemplar#63
wusatosi merged 6 commits intomainfrom
codespace

Conversation

@wusatosi
Copy link
Copy Markdown
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
Copy Markdown
Member

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
Copy Markdown
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
Comment thread .devcontainer/Dockerfile
Comment thread .devcontainer/Dockerfile
Copy link
Copy Markdown
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
Copy Markdown
Member Author

[It works]

YEY! Thanks for testing this.

@wusatosi
Copy link
Copy Markdown
Member Author

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

@wusatosi wusatosi merged commit 1ba03f6 into main Nov 18, 2024
@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