Move Dockerfile to .devcontainer directory

Relocated the Dockerfile to the .devcontainer directory.
eth-library · Sep 15, 2024 · 60ea0a5 · 60ea0a5
1 parent c452148
commit 60ea0a5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Dockerfile → .devcontainer/Dockerfile b/Dockerfile → .devcontainer/Dockerfile
@@ -10,8 +10,8 @@ RUN mkdir -p /code && chown ${DEVBOX_USER}:${DEVBOX_USER} /code
 USER ${DEVBOX_USER}:${DEVBOX_USER}
 
 # Copy configuration files necessary for Devbox
-COPY --chown=${DEVBOX_USER}:${DEVBOX_USER} devbox.json /code/devbox.json
-COPY --chown=${DEVBOX_USER}:${DEVBOX_USER} devbox.lock /code/devbox.lock
+COPY --chown=${DEVBOX_USER}:${DEVBOX_USER} ../devbox.json /code/devbox.json
+COPY --chown=${DEVBOX_USER}:${DEVBOX_USER} ../devbox.lock /code/devbox.lock
 
 # Run devbox command to install packages based on the lock file
 RUN devbox run -- echo "Installed Packages."