From 9866860402db5fb17ba005b2d1953202f5676dc8 Mon Sep 17 00:00:00 2001
From: Dragos Iulian Argint <dragosargint21@gmail.com>
Date: Thu, 16 Mar 2023 02:44:17 +0200
Subject: [PATCH] Change the docker image name
Signed-off-by: Dragos Iulian Argint <dragosargint21@gmail.com>
---
.gitlab-ci.yml | 2 +-
Dockerfile | 2 +-
local.sh | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9d2710e..01c7dc0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -26,6 +26,6 @@ build:
checker:
stage: test
image:
- name: gitlab.cs.pub.ro:5050/vmchecker/vmchecker-next-assignment
+ name: gitlab.cs.pub.ro:5050/so2/0-list
script:
- echo ""
diff --git a/Dockerfile b/Dockerfile
index 3f059a7..dd56d20 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,4 +1,4 @@
-FROM jokeswar/base-ctl
+FROM gitlab.cs.pub.ro:5050/so2/so2-assignments
RUN echo "Hello from Docker"
diff --git a/local.sh b/local.sh
index c3af28a..da63f8f 100755
--- a/local.sh
+++ b/local.sh
@@ -9,7 +9,7 @@ cd "$(dirname "$0")" || exit 1
RED='\033[0;31m'
NC='\033[0m'
-DEFAULT_IMAGE_NAME="$(basename "$(pwd)")"
+DEFAULT_IMAGE_NAME="so2/0-list"
DEFAULT_TAG='latest'
DEFAULT_REGISTRY='gitlab.cs.pub.ro:5050'
--
GitLab