Add VSCode devcontainers

Should be useful for getting a development environment setup quickly.
This commit is contained in:
Mike McQuaid 2022-10-27 09:18:49 +01:00
parent 3da846d1b1
commit dd39b2be64
No known key found for this signature in database
GPG Key ID: 3338A31AFDB1D829
4 changed files with 32 additions and 1 deletions

View File

@ -0,0 +1,10 @@
{
"name": "Homebrew/brew",
"image": "ghcr.io/homebrew/brew:latest",
"workspaceFolder": "/home/linuxbrew/.linuxbrew/Homebrew",
"workspaceMount": "source=${localWorkspaceFolder},target=/home/linuxbrew/.linuxbrew/Homebrew,type=bind,consistency=cached",
"onCreateCommand": ".devcontainer/on-create-command.sh",
"remoteEnv": {
"HOMEBREW_GITHUB_API_TOKEN": "${localEnv:GITHUB_TOKEN}"
}
}

View File

@ -0,0 +1,10 @@
#!/bin/bash
set -e
sudo apt-get update
sudo apt-get install -y \
-o Dpkg::Options::=--force-confdef \
-o Dpkg::Options::=--force-confnew \
zsh \
shellcheck \
zsh-autosuggestions

View File

@ -0,0 +1,10 @@
{
"name": "Homebrew/brew-ubuntu18.04",
"image": "ghcr.io/homebrew/ubuntu18.04:latest",
"workspaceFolder": "/home/linuxbrew/.linuxbrew/Homebrew",
"workspaceMount": "source=${localWorkspaceFolder},target=/home/linuxbrew/.linuxbrew/Homebrew,type=bind,consistency=cached",
"onCreateCommand": ".devcontainer/on-create-command.sh",
"remoteEnv": {
"HOMEBREW_GITHUB_API_TOKEN": "${localEnv:GITHUB_TOKEN}"
}
}

3
.gitignore vendored
View File

@ -171,7 +171,8 @@
# Unignore our `brew` script. # Unignore our `brew` script.
!/bin/brew !/bin/brew
# Unignore our documentation/completions. # Unignore our configuration/completions/documentation.
!/.devcontainer
!/.github !/.github
!/completions !/completions
!/docs !/docs