Matthias
|
33b95e27de
|
Update documentation to reflect ruff
|
2024-05-13 19:36:34 +02:00 |
|
Matthias
|
bd608bedf0
|
Use devcontainer features for most setup work
|
2024-04-27 11:55:37 +00:00 |
|
Matthias
|
6d46d17e30
|
Add pre-built devcontainer
|
2024-04-27 09:37:08 +00:00 |
|
Matthias
|
bc5ded4400
|
Improve devcontainer Dockerfile
|
2024-04-27 11:29:24 +02:00 |
|
Matthias
|
e17258940a
|
Add isort to devcontainer proposals
|
2024-04-27 07:13:05 +00:00 |
|
Matthias
|
52403ceacd
|
add GHA extension to devcontainer
|
2024-04-27 07:13:05 +00:00 |
|
Matthias
|
3b41c7e7f3
|
Fix devcontainer config (use vscode submenu)
|
2024-04-27 07:13:05 +00:00 |
|
Matthias
|
0b8ef1b880
|
Fix devcontainer invalid key
|
2023-06-05 21:13:52 +02:00 |
|
Matthias
|
21172802de
|
Devcontainer image should contain as many dependencies as possible
|
2023-06-05 20:30:46 +02:00 |
|
Matthias
|
4664d5e1d8
|
Split installation to onCreateCommand
|
2022-11-10 18:56:19 +00:00 |
|
Tim
|
be83e73411
|
add pip install
|
2022-11-10 08:42:47 +00:00 |
|
Tim
|
ec6ee7ead9
|
remove empty space
|
2022-11-09 21:06:14 +01:00 |
|
Tim
|
7953280513
|
remove github.copilot extension
|
2022-11-09 21:05:05 +01:00 |
|
Tim
|
037363f9ee
|
support git and local changes in dev containers #7723
|
2022-11-09 19:53:09 +01:00 |
|
Matthias
|
2928ee22ce
|
Remove compose file for devcontainer
|
2021-07-15 19:48:16 +02:00 |
|
Kamontat Chantrachirathumrong
|
7dcf94f80c
|
Update Dockerfile
|
2021-05-25 08:18:14 +07:00 |
|
Matthias
|
9465fd390a
|
Fix devcontainer
|
2021-05-24 17:01:53 +02:00 |
|
Matthias
|
10104927c9
|
Fix devcontainer
closes #4230
|
2021-01-18 07:46:19 +00:00 |
|
Matthias Spiller
|
38fc5d680b
|
Enable usage of devcontainer for macOS users
|
2020-10-31 10:31:58 +00:00 |
|
Matthias
|
50aec1d6d3
|
Jupyter service should be called differently
|
2020-09-20 20:19:07 +02:00 |
|
Matthias
|
096079a595
|
Install autopep8
|
2020-09-20 12:41:17 +00:00 |
|
Matthias
|
4355f36cd6
|
Add gitconfig to devcontainer
|
2020-09-20 12:36:47 +00:00 |
|
Matthias
|
0a7b6f73c9
|
Move devcontainer stuff to .devcontainer
|
2020-09-20 12:35:08 +00:00 |
|
Matthias
|
7ead4f9fa3
|
Update devcontainer settings
|
2020-09-20 14:16:36 +02:00 |
|
Matthias
|
8ff7ce8b17
|
Introduce devcontainer
|
2020-09-20 11:40:16 +00:00 |
|