Skip to content

Support codespace in dotnet/roslyn#59074

Merged
jmarolf merged 10 commits into
dotnet:mainfrom
jmarolf:infrastructure/support-codespaces
Jan 26, 2022
Merged

Support codespace in dotnet/roslyn#59074
jmarolf merged 10 commits into
dotnet:mainfrom
jmarolf:infrastructure/support-codespaces

Conversation

@jmarolf
Copy link
Copy Markdown
Contributor

@jmarolf jmarolf commented Jan 26, 2022

  • add in the devcontainer folder so codespaces knows how to construct a container for this repo
  • add a set of recommended settings so VS Code will auto-install these in a codespace
  • update our file mappings for VS Code in this repo
  • add default settings for the omnisharp extension
  • add settings for powershell to not auto-popup on install
  • use dnceng schema for pipelines

@ghost ghost added the Area-Infrastructure label Jan 26, 2022
@jmarolf jmarolf requested a review from 333fred January 26, 2022 04:28
Comment thread .devcontainer/devcontainer.json
Comment thread .vscode/settings.json
jmarolf and others added 2 commits January 25, 2022 23:57
Co-authored-by: Fred Silberberg <fred@silberberg.xyz>
Co-authored-by: Fred Silberberg <fred@silberberg.xyz>
Copy link
Copy Markdown
Member

@333fred 333fred left a comment

Choose a reason for hiding this comment

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

We should document this in our readmes as well.

Comment thread .vscode/extensions.json
Comment thread .devcontainer/Dockerfile
Comment on lines +14 to +21
# Install V8 Engine
SHELL ["/bin/bash", "-c"]

RUN curl -sSL "https://netcorenativeassets.blob.core.windows.net/resource-packages/external/linux/chromium-v8/v8-linux64-rel-8.5.183.zip" -o ./v8.zip \
&& unzip ./v8.zip -d /usr/local/v8 \
&& echo $'#!/usr/bin/env bash\n\
"/usr/local/v8/d8" --snapshot_blob="/usr/local/v8/snapshot_blob.bin" "$@"\n' > /usr/local/bin/v8 \
&& chmod +x /usr/local/bin/v8 No newline at end of file
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

What is this used for?

Copy link
Copy Markdown
Contributor Author

@jmarolf jmarolf Jan 26, 2022

Choose a reason for hiding this comment

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

ah, this is for people who need wasm to work. I'll submit a follow up PR to remove this section. the runtime needs this in their docker file: https://github.com/dotnet/runtime/blob/main/.devcontainer/Dockerfile but we do not

"*.xlf": "xml",
"*.yml": "azure-pipelines"
},
// ms-dotnettools.csharp settings
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

This is all duplicated with the .vscode/settings.json -- is there a way to avoid the duplication? And what is using this file?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

unfortunately there does not seem to be a way to do this today. The settings in this file are used by codespaces

Comment thread .vscode/settings.json
"*.vsixmanifest": "xml",
"*.vstemplate": "xml",
"*.xlf": "xml",
"*.yml": "azure-pipelines"
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Do we have any yaml for other things than the build pipelines? I had restricted it to eng not wanting that to accidentally apply elsewhere.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

I checked, we do not

@jmarolf jmarolf merged commit 9b74919 into dotnet:main Jan 26, 2022
@jmarolf jmarolf deleted the infrastructure/support-codespaces branch January 26, 2022 22:25
@ghost ghost added this to the Next milestone Jan 26, 2022
@RikkiGibson RikkiGibson modified the milestones: Next, 17.2.P1 Feb 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants