You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -48,7 +51,17 @@ As a timestamp, the date 2020-01-01 is 2020-01-01 00:00, so an initiated timesta
48
51
49
52
## Technology choices
50
53
### Visual Studio Code + Remote Development / Dev Containers
51
-
With VS Code Remote Development, you can use a Docker container as a full-featured development environment. VS Code is going to work **as if it was running locally on the Linux container** I chose to develop on. Other tools offer similar solutions of course (mounting the workspace, hot-reload), but I find the extreme approach of hooking the entire "IDE" into a container quite inspiring.
54
+
With VS Code Remote Development, you can use a Docker container as a full-featured development environment. VS Code is going to work **as if it was running locally on the Linux container** I chose to develop on. Other tools offer similar solutions of course (mounting the workspace, hot-reload), but I find the extreme approach of hooking the entire "IDE" into a container quite inspiring.
55
+
56
+
57
+
To open the dev container:
58
+
- Open the folder in VS Code
59
+
- Reopen in container (popup in bottom right of the window)
60
+
- Find a Java file, hit F5
61
+
- Say yes to Java standard mode (popup in bottom right of the window)
62
+
- After a minute and the Java mode switch, you're in - now you're developing on a 'remote' machine. Move it to the cloud and you've got GitHub CodeSpaces.
63
+
64
+
More about dev containers: https://stuartleeks.com/posts/vscode-devcontainers/
0 commit comments