Temp

.github/workflows/build.yml

@@ -7,6 +7,8 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
+    permissions:
+      contents: write  # Grant write permissions to modify repository contents
     steps:
       - uses: actions/checkout@v4
       - name: Build

Makefiles/debug.mk

@@ -21,7 +21,7 @@ build_img:
 
 # Code Build
 build: build_img
-	@$(DOCKER_RUN_CMD) $(BUILD_CMD)
+	$(DOCKER_RUN_CMD) $(BUILD_CMD)
 
 # Test code
 test: build_img

Makefiles/docker.mk

@@ -12,8 +12,10 @@ DOCKER_UID ?= $(shell id -u)
 # GID (Group ID) for the Docker container. Defaults to current user's GID.
 DOCKER_GID ?= $(shell id -g)
 
+DOCKER_USER_ENV ?= USER=$(shell whoami)
+
 # Arguments to pass to the Docker command for setting user and mounting volumes.
-DOCKER_USER_ARG ?= --user $(DOCKER_UID):$(DOCKER_GID)
+DOCKER_USER_ARG ?= --user $(DOCKER_UID):$(DOCKER_GID) --env $(DOCKER_USER_ENV)
 
 # Name of the Docker image based on the repository root directory name.
 DOCKER_BASE_IMG_NAME := $(PROJECT_NAME)

dockerfiles/Dockerfile

@@ -36,6 +36,7 @@ RUN apt-get update \
   gdb \
   git \
   valgrind \
+  vim \
   && apt-get -y clean \
   && rm -rf /var/lib/apt/lists/*