Commit Graph

25 Commits (70d7dcd189ff44cb9dfdba47ea03be13792b04fe)

Author SHA1 Message Date
Matthias 33b95e27de Update documentation to reflect ruff
2 years ago
Matthias bd608bedf0 Use devcontainer features for most setup work
2 years ago
Matthias 6d46d17e30 Add pre-built devcontainer
2 years ago
Matthias bc5ded4400 Improve devcontainer Dockerfile
2 years ago
Matthias e17258940a Add isort to devcontainer proposals
2 years ago
Matthias 52403ceacd add GHA extension to devcontainer
2 years ago
Matthias 3b41c7e7f3 Fix devcontainer config (use vscode submenu)
2 years ago
Matthias 0b8ef1b880 Fix devcontainer invalid key
3 years ago
Matthias 21172802de Devcontainer image should contain as many dependencies as possible
3 years ago
Matthias 4664d5e1d8 Split installation to onCreateCommand
3 years ago
Tim be83e73411 add pip install
3 years ago
Tim ec6ee7ead9 remove empty space
3 years ago
Tim 7953280513 remove github.copilot extension
3 years ago
Tim 037363f9ee support git and local changes in dev containers #7723
3 years ago
Matthias 2928ee22ce Remove compose file for devcontainer
5 years ago
Kamontat Chantrachirathumrong 7dcf94f80c
Update Dockerfile
5 years ago
Matthias 9465fd390a Fix devcontainer
5 years ago
Matthias 10104927c9 Fix devcontainer
5 years ago
Matthias Spiller 38fc5d680b Enable usage of devcontainer for macOS users
5 years ago
Matthias 50aec1d6d3 Jupyter service should be called differently
6 years ago
Matthias 096079a595 Install autopep8
6 years ago
Matthias 4355f36cd6 Add gitconfig to devcontainer
6 years ago
Matthias 0a7b6f73c9 Move devcontainer stuff to .devcontainer
6 years ago
Matthias 7ead4f9fa3 Update devcontainer settings
6 years ago
Matthias 8ff7ce8b17 Introduce devcontainer
6 years ago