get docker working with git

Author: thecharlieblake

.devcontainer.json

@@ -2,7 +2,7 @@
     "build": {
         "dockerfile": "Dockerfile"
     },
-    "workspaceFolder": "/workspace",
+    "workspaceFolder": "/home/developer/unit-scaling",
     "customizations": {
         "vscode": {
             "extensions": [
@@ -16,6 +16,9 @@
         }
     },
     "mounts": [
-        "source=${localWorkspaceFolder},target=/workspace,type=bind"
-    ]
+        "source=${localEnv:HOME}/.ssh,target=/home/developer/.ssh,type=bind,readonly=true",
+        "source=${localEnv:HOME}/.gitconfig,target=/home/developer/.gitconfig,type=bind,readonly=true",
+        "source=${localWorkspaceFolder},target=/home/developer/unit-scaling,type=bind"
+    ],
+    "remoteUser": "developer"
 }

Dockerfile

@@ -12,17 +12,6 @@ RUN apt-get update && apt-get install -y \
     && chsh -s /bin/zsh \
     && apt-get clean && rm -rf /var/lib/apt/lists/*   # cleanup (smaller image)
 
-# Set working directory
-WORKDIR /workspace
-
-# Install Python dependencies
-COPY requirements-dev.txt .
-RUN pip install -r requirements-dev.txt
-
-# Puts pip install libs on $PATH & sets correct locale
-ENV PATH="$PATH:/home/$USERNAME/.local/bin" \
-    LC_ALL=C.UTF-8
-
 # Configure a non-root user with sudo privileges
 ARG USERNAME=developer  # Change this to preferred username
 ARG USER_UID=1001
@@ -33,6 +22,17 @@ RUN groupadd --gid $USER_GID $USERNAME \
     && chmod 0440 /etc/sudoers.d/$USERNAME
 USER $USERNAME
 
+# Set working directory
+WORKDIR /home/$USERNAME/unit-scaling
+
+# Puts pip install libs on $PATH & sets correct locale
+ENV PATH="$PATH:/home/$USERNAME/.local/bin" \
+    LC_ALL=C.UTF-8
+
+# Install Python dependencies
+COPY requirements-dev.txt .
+RUN pip install -r requirements-dev.txt
+
 # Creates basic .zshrc
 RUN sudo cp /etc/zsh/newuser.zshrc.recommended /home/$USERNAME/.zshrc