chore: fix permissions for lint docker image

Signed-off-by: Emilien Escalle <[email protected]>

Author: neilime

Dockerfile

@@ -3,6 +3,7 @@ FROM ghcr.io/super-linter/super-linter:slim-v7
 
 ARG UID=1000
 ARG GID=1000
+RUN chown -R ${UID}:${GID} /github/home
 USER ${UID}:${GID}
 
 ENV RUN_LOCAL=true 

Makefile

@@ -20,10 +20,11 @@ define run_linter
 	DEFAULT_WORKSPACE="$(CURDIR)"; \
 	LINTER_IMAGE="linter:latest"; \
 	VOLUME="$$DEFAULT_WORKSPACE:$$DEFAULT_WORKSPACE"; \
-	docker build --build-arg UID=$(id -u) --build-arg GID=$(id -g) --tag $$LINTER_IMAGE .; \
+	docker build --build-arg UID=$(shell id -u) --build-arg GID=$(shell id -g) --tag $$LINTER_IMAGE .; \
 	docker run \
 		-e DEFAULT_WORKSPACE="$$DEFAULT_WORKSPACE" \
 		-e FILTER_REGEX_INCLUDE="$(filter-out $@,$(MAKECMDGOALS))" \
+		-e IGNORE_GITIGNORED_FILES=true \
 		$(1) \
 		-v $$VOLUME \
 		--rm \