useful mount style

colopl · Aug 1, 2024 · 0bcf477 · 0bcf477
1 parent d1a8963
commit 0bcf477
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -11,5 +11,5 @@
 	},
 	"dockerComposeFile": "../compose.yaml",
 	"service": "dev",
-	"workspaceFolder": "/usr/src/php/ext/extension"
+	"workspaceFolder": "/work"
 }
diff --git a/Dockerfile b/Dockerfile
@@ -118,7 +118,9 @@ RUN if test -f "/etc/debian_version"; then \
           docker-php-source delete; \
         fi; \
     fi && \
-    docker-php-source extract
+    docker-php-source extract && \
+    ln -s "/usr/src/php/build/gen_stub.php" "/usr/local/bin/gen_stub.php" && \
+    apt-get update && apt-get install -y "git"
 
 WORKDIR "/usr/src/php"
 

diff --git a/compose.yaml b/compose.yaml
@@ -9,7 +9,8 @@ services:
       - seccomp:unconfined
     privileged: true
     volumes:
-      - ./ext:/usr/src/php/ext/extension:cached
+      - ./ext:/usr/src/php/ext/extension
+      - ./:/work
     tty: true
     depends_on:
       - mysql