Skip to content

build: add devcontainer configuration #40825

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
bnb wants to merge 6 commits into from
Closed

build: add devcontainer configuration #40825

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
5aa9243
build: don't ignore devcontainer
bnb Nov 15, 2021
c143e96
build: add devcontainer configs
bnb Nov 15, 2021
9c0b7e3
build: fix inconsistent spacing
bnb Nov 16, 2021
4d90714
chore: remove unnessary WORKDIR
bnb Jun 6, 2022
63e54ed
build: tweaks to various devcontainer configs
bnb Oct 10, 2022
b12a912
build: remove erroneous devcontainer submodule
bnb Oct 10, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
build: fix inconsistent spacing 
Signed-off-by: Tierney Cyren <hello@bnb.im>
  • Loading branch information
@bnb
bnb committed Nov 16, 2021
commit 9c0b7e30e0fa387a5399b472afe49aecbd61fe4f
10 changes: 5 additions & 5 deletions .devcontainer/.devcontainer.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,11 +10,11 @@
"dockerFile": "Dockerfile",
"initializeCommand": "docker system prune -f -a",
"settings": {
"terminal.integrated.profiles.linux": {
"zsh (login)": {
"path": "zsh",
"args": ["-l"]
}
"terminal.integrated.profiles.linux": {
"zsh (login)": {
"path": "zsh",
"args": ["-l"]
}
}
}
}

@tniessen tniessen Nov 16, 2021

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.

Nit: The indentation in this file is inconsistent.

@bnb bnb Nov 16, 2021

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.

fixed ty

@bnb bnb Jul 28, 2022

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.

actually fixed now :P