feat: add entrypoint script for Docker container user remapping

[wambitz]

Description

This pull request makes minor improvements to the development environment setup, specifically targeting the container configuration and Dockerfile.

• Dev container setup:

  • Added a blank line for readability in .devcontainer/devcontainer.json.

• Dockerfile update:

  • Updated the entrypoint script path to use scripts/docker/entrypoint.sh instead of scripts/entrypoint.sh for better organization.

[Copilot]

Pull request overview

This pull request adds a new entrypoint script for Docker container user remapping to improve development environment portability. The entrypoint script dynamically remaps the container user's UID/GID to match the host user's, preventing file permission issues when mounting volumes. The script is organized in the scripts/docker/ directory alongside other Docker-related utilities.

Key Changes:

• Added scripts/docker/entrypoint.sh to handle runtime UID/GID remapping for the container user
• Updated Dockerfile to reference the new script path at scripts/docker/entrypoint.sh
• Added a blank line in .devcontainer/devcontainer.json for formatting

Reviewed changes

Copilot reviewed 2 out of 3 changed files in this pull request and generated no comments.

File	Description
scripts/docker/entrypoint.sh	New entrypoint script that remaps container user UID/GID to match host user, fixes ownership of home directory and workspace
Dockerfile	Updated COPY command to reference the new entrypoint script location in scripts/docker/ directory
.devcontainer/devcontainer.json	Added trailing blank line for formatting consistency

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.