9 commits

Author	SHA1	Message	Date
Dave Syer	89f7b4ee96	Tweak devcontainer so java and permissions work	2022-09-27 17:14:13 +00:00
Martin Lippert	53343c27ab	launch java tooling in standard mode right away	2022-09-13 11:34:16 +00:00
Dave Syer	d3aabf8462	Attempt to fix codespaces	2022-09-12 11:05:37 +00:00
Dave Syer	39b3ef8b31	Ensure gradle home is set in container	2022-09-05 13:19:53 +00:00
Julien Dubois	4f3cbaa9aa	Add the Pivotal extension pack to devcontainers (#994) ... Add Spring Boot extensions	2022-06-16 12:03:22 +01:00
Julien Dubois	5aef5c380c	use Java 17 in devcontainers	2022-06-16 12:02:31 +01:00
Dave Syer	5ef819085b	Move vscode settings up a level	2022-06-15 17:39:31 +01:00
Dave Syer	21b94869e8	Whitespace tidy	2022-06-15 17:01:47 +01:00
Dave Syer	abee85939f	Add devcontainer and gitpod ... Also works in codespaces.	2022-06-09 11:24:17 +01:00