24 Commits

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