16 Commits

Author SHA1 Message Date
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 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 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
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