File tree Expand file tree Collapse file tree 2 files changed +22
-5
lines changed
components/workspace/dotnet Expand file tree Collapse file tree 2 files changed +22
-5
lines changed Original file line number Diff line number Diff line change 1+ FROM labspace-workspace-base
2+
3+ USER root
4+ # https://learn.microsoft.com/en-us/dotnet/core/install/linux-debian
5+ RUN wget https://packages.microsoft.com/config/debian/12/packages-microsoft-prod.deb -O packages-microsoft-prod.deb \
6+ && sudo dpkg -i packages-microsoft-prod.deb \
7+ && rm packages-microsoft-prod.deb
8+
9+ RUN sudo apt-get update \
10+ && sudo apt-get install -y dotnet-sdk-10.0 \
11+ && rm -rf /var/lib/apt/lists/*
12+
13+ USER 1000
14+ RUN code-server --install-extension ms-dotnettools.csdevkit \
15+ && rm -rf /home/coder/.local/share/code-server/CachedExtensionVSIXs/.trash/*
Original file line number Diff line number Diff line change @@ -14,31 +14,33 @@ function tags {
1414}
1515
1616group "default" {
17- targets = [
18- " configurator" ,
17+ targets = [
18+ " configurator" ,
1919 " support-vscode-extension" ,
2020 " interface" ,
2121 " host-port-republisher" ,
2222 " labspace-cleaner" ,
2323 " workspace-base" ,
24- " workspace-node " ,
24+ " workspace-dotnet " ,
2525 " workspace-java" ,
26+ " workspace-node" ,
2627 " workspace-python"
2728 ]
2829}
2930
3031target "workspaces" {
3132 targets = [
3233 " workspace-base" ,
33- " workspace-node " ,
34+ " workspace-dotnet " ,
3435 " workspace-java" ,
36+ " workspace-node" ,
3537 " workspace-python"
3638 ]
3739}
3840
3941target "_common" {
4042 dockerfile = " Dockerfile"
41-
43+
4244 platforms = [
4345 " linux/amd64" ,
4446 " linux/arm64" ,
You can’t perform that action at this time.
0 commit comments