mirrors/brew
1
0
Fork 0
mirror of https://github.com/Homebrew/brew.git synced 2025-07-14 16:09:03 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #18792 from Homebrew/devcontainer_master

Browse Source 
devcontainer.json: use master image.
This commit is contained in:
Mike McQuaid 2024-11-20 11:53:44 +00:00 committed by GitHub
commit 0b25b5ccbb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.devcontainer/devcontainer.json
View File

@ -1,13 +1,10 @@
// For format details, see https://aka.ms/devcontainer.json. // For format details, see https://aka.ms/devcontainer.json.
{ {
"name": "Homebrew/brew", "name": "Homebrew/brew",
"image": "ghcr.io/homebrew/brew:latest", "image": "ghcr.io/homebrew/brew:master",
"workspaceFolder": "/home/linuxbrew/.linuxbrew/Homebrew", "workspaceFolder": "/home/linuxbrew/.linuxbrew/Homebrew",
"workspaceMount": "source=${localWorkspaceFolder},target=/home/linuxbrew/.linuxbrew/Homebrew,type=bind,consistency=cached", "workspaceMount": "source=${localWorkspaceFolder},target=/home/linuxbrew/.linuxbrew/Homebrew,type=bind,consistency=cached",
"onCreateCommand": ".devcontainer/on-create-command.sh", "onCreateCommand": ".devcontainer/on-create-command.sh",
"customizations": { "customizations": {
"codespaces": { "codespaces": {
"repositories": { "repositories": {
@ -43,7 +40,6 @@
] ]
} }
}, },
"remoteEnv": { "remoteEnv": {
"HOMEBREW_GITHUB_API_TOKEN": "${localEnv:GITHUB_TOKEN}" "HOMEBREW_GITHUB_API_TOKEN": "${localEnv:GITHUB_TOKEN}"
} }