Update Docker / GitLab configuration files

Update configuration files for assignment-mini-shell.

Signed-off-by: Razvan Deaconescu <razvan.deaconescu@upb.ro>

.gitlab-ci.yml

@@ -26,6 +26,6 @@ build:
 checker:
     stage: test
     image:
-        name: gitlab.cs.pub.ro:5050/operating-systems/assignment-template
+        name: gitlab.cs.pub.ro:5050/operating-systems/assignment-mini-shell
     script:
         - echo ""

CPPLINT.cfg

@@ -11,4 +11,5 @@ filter=-runtime/int
 filter=-runtime/printf
 filter=-build/include_subdir
 filter=-readability/todo
+filter=-build/include_what_you_use
 linelength=120

Dockerfile

@@ -3,3 +3,5 @@ FROM gitlab.cs.pub.ro:5050/operating-systems/assignments-docker-base
 COPY ./checker ${CHECKER_DATA_DIRECTORY}
 RUN mkdir ${CHECKER_DATA_DIRECTORY}/../tests
 COPY ./tests ${CHECKER_DATA_DIRECTORY}/../tests
+RUN mkdir ${CHECKER_DATA_DIRECTORY}/../util
+COPY ./util ${CHECKER_DATA_DIRECTORY}/../util

local.sh

@@ -9,7 +9,7 @@ cd "$(dirname "$0")" || exit 1
 RED='\033[0;31m'
 NC='\033[0m'
 
-DEFAULT_IMAGE_NAME=operating-systems/assignment-tutorial
+DEFAULT_IMAGE_NAME=operating-systems/assignment-mini-shell
 DEFAULT_TAG='latest'
 DEFAULT_REGISTRY='gitlab.cs.pub.ro:5050'