mirrors/dotnet-installer
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Set default Codespaces path to /workspaces (#15356)

Browse source
This commit is contained in:
Přemek Vysoký 2023-01-27 15:31:47 +01:00 • committed by GitHub
parent 511beb79f3
commit 43d1152c04
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.devcontainer/vmr-source-build/devcontainer.json
View file

@ -16,9 +16,10 @@
}, },
"codespaces": { "codespaces": {
"openFiles": [ "openFiles": [
".devcontainer/vmr-source-build/README.md" "installer/.devcontainer/vmr-source-build/README.md"
] ]
} }
}, },
"onCreateCommand": "${containerWorkspaceFolder}/.devcontainer/vmr-source-build/init.sh" "onCreateCommand": "${containerWorkspaceFolder}/installer/.devcontainer/vmr-source-build/init.sh",
"workspaceFolder": "/workspaces"
} }

10
.devcontainer/vmr-source-build/init.sh
View file

@ -19,11 +19,13 @@ git -C "$installer_dir" fetch --all --unshallow
# We need this to figure out, which VMR branch to use # We need this to figure out, which VMR branch to use
vmr_branch=$(git log --pretty=format:'%D' HEAD^ | grep 'origin/' | head -n1 | sed 's@origin/@@' | sed 's@,.*@@') vmr_branch=$(git log --pretty=format:'%D' HEAD^ | grep 'origin/' | head -n1 | sed 's@origin/@@' | sed 's@,.*@@')
"$installer_dir/eng/vmr-sync.sh" \ pushd "$installer_dir"
--vmr "$vmr_dir" \ "./eng/vmr-sync.sh" \
--tmp "$tmp_dir" \ --vmr "$vmr_dir" \
--branch "$vmr_branch" \ --tmp "$tmp_dir" \
--branch "$vmr_branch" \
--debug --debug
popd
# Run prep.sh # Run prep.sh
unset RepositoryName unset RepositoryName