From 1f234dfe5b0a4167fab7600462d6075033fc7219 Mon Sep 17 00:00:00 2001
From: jcardozo <jaime.cardozo@library.ethz.ch>
Date: Sun, 15 Sep 2024 23:33:04 +0200
Subject: [PATCH] Update devcontainer config for Devbox shell, remove
 extensions

Removing extensions. Changed post-create command to install Devbox, clone the git repo, change repo, enter devbox shell
---
 .devcontainer/devcontainer.json | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index d201cc3..74af5ac 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -4,11 +4,7 @@
   "settings": {
     "terminal.integrated.shell.linux": "/bin/bash"
   },
-  "extensions": [
-    "vscjava.vscode-java-pack",
-    "vscjava.vscode-maven"
-  ],
   "forwardPorts": [8080],
-  "postCreateCommand": "mvn spring-boot:run",
+  "postCreateCommand": "curl -fsSL https://get.jetify.com/devbox | bash && git clone https://github.com/eth-library/devbox-spring-demo.git && cd devbox-spring-demo && . ~/.devbox/shell && mvn spring-boot:run",
   "remoteUser": "codespace"
 }