Updated extensions and global .gitignore

entrypoint.sh

@@ -27,4 +27,15 @@ if [[ -d "$PI_SRC" ]]; then
     done
 fi
 
+# Global gitignore lives on the host at ~/.gitignore_global, symlinked from
+# the host into the workspace at /workspace/dev_sandbox/.gitignore_global.
+# Mirror it to /root/.gitignore_global so git's --system core.excludesfile
+# (set in the Dockerfile) resolves. Symlink so host edits apply immediately.
+GITIGNORE_SRC="/workspace/dev_sandbox/.gitignore_global"
+GITIGNORE_DST="/root/.gitignore_global"
+if [[ -e "$GITIGNORE_SRC" ]]; then
+    rm -f "$GITIGNORE_DST"
+    ln -sf "$GITIGNORE_SRC" "$GITIGNORE_DST"
+fi
+
 exec "$@"