From 51b34be077066201d8b3cde9c2e0748ef5a4351c Mon Sep 17 00:00:00 2001
From: Zheyuan Wu <60459821+Trance-0@users.noreply.github.com>
Date: Wed, 5 Nov 2025 23:41:33 -0600
Subject: [PATCH] Update Jenkinsfile

---
 docker/Jenkinsfile | 46 +++++++++++++++++++++++-----------------------
 1 file changed, 23 insertions(+), 23 deletions(-)

diff --git a/docker/Jenkinsfile b/docker/Jenkinsfile
index fafe7b9..9de8ddc 100644
--- a/docker/Jenkinsfile
+++ b/docker/Jenkinsfile
@@ -11,32 +11,32 @@ pipeline {
     agent any
 
     stages {
-        stage('Cleanup Workspace') {
+        stage("Cleanup Workspace") {
             steps {
                 // Using Workspace Cleanup Plugin (if installed and configured)
                 cleanWs()
             }
         }
-        stage('Checkout') {
+        stage("Checkout") {
             steps {
                 checkout([
-                    $class: 'GitSCM',
-                    branches: [[ name: '*/main' ]],
+                    $class: "GitSCM",
+                    branches: [[ name: "*/main" ]],
                     userRemoteConfigs: [[
-                        url: 'https://github.com/Trance-0/NoteNextra',
+                        url: "https://github.com/Trance-0/NoteNextra",
                     ]]
                 ])
             }
         }
-        stage('Build and test'){
+        stage("Build and test"){
             parallel {
-                stage('Build Math') {
+                stage("Build Math") {
                     steps {
                         script {
                             echo "Building docker image ${registry}-math:${version}.${env.BUILD_ID}"
                             def customImage = docker.build("${registry}-math:v${version}.${env.BUILD_ID}","-f ./docker/math/Dockerfile --no-cache --progress=plain .")
                             echo "Logging in to docker hub"
-                            // docker.withRegistry('https://registry.hub.docker.com', 'docker-hub-creds') {
+                            // docker.withRegistry("https://registry.hub.docker.com", "docker-hub-creds") {
                             //     echo "Pushing docker image ${registry}:v${version}.${env.BUILD_ID}"
                             //     customImage.push()
                             // }
@@ -44,13 +44,13 @@ pipeline {
                         }
                     }
                 }
-                stage('Build CSE') {
+                stage("Build CSE") {
                     steps {
                         script {
                             echo "Building docker image ${registry}-cse:${version}.${env.BUILD_ID}"
-                            def customImage = docker.build("${registry}-cse:v${version}.${env.BUILD_ID}","-f ./docker/cse/Dockerfile --no-cache --progress=plain -t .")
+                            def customImage = docker.build("${registry}-cse:v${version}.${env.BUILD_ID}","-f ./docker/cse/Dockerfile --no-cache --progress=plain .")
                             echo "Logging in to docker hub"
-                            // docker.withRegistry('https://registry.hub.docker.com', 'docker-hub-creds') {
+                            // docker.withRegistry("https://registry.hub.docker.com", "docker-hub-creds") {
                             //     echo "Pushing docker image ${registry}:v${version}.${env.BUILD_ID}"
                             //     customImage.push()
                             // }
@@ -60,50 +60,50 @@ pipeline {
                 }
             }
         }
-        stage('Cleanup Docker tags') {
+        stage("Cleanup Docker tags") {
             steps {
                 script {
                     echo "1. Stopping existing container"
-                    sh 'docker compose -f ./docker/docker-compose.yaml down'
+                    sh "docker compose -f ./docker/docker-compose.yaml down"
                     // Using Workspace Cleanup Plugin (if installed and configured)
                     echo "2. Removing existing images"
                     def imageNameMath = "${registry}-math:latest"
                     def imageNameCSE = "${registry}-cse:latest"
                     def oldImageIDMath = sh( 
-                                            script: 'docker images -qf reference=\${imageNameMath}',
+                                            script: "docker images -qf reference=\${imageNameMath}",
                                             returnStdout: true
                                         )
                     def oldImageIDCSE = sh( 
-                                            script: 'docker images -qf reference=\${imageNameCSE}',
+                                            script: "docker images -qf reference=\${imageNameCSE}",
                                             returnStdout: true
                                         )
-                    if ( "${oldImageIDMath}" != '' ) {
+                    if ( "${oldImageIDMath}" != "" ) {
                         echo "Removing old image ${oldImageIDMath}"
                         echo "Image Name: " + "${imageNameMath}"
                         echo "Old Image: ${oldImageIDMath}"
-                        sh 'docker rmi ${oldImageIDMath}'
+                        sh "docker rmi ${oldImageIDMath}"
                     }else{
                         echo "Warning: ${imageNameMath} does not exist"
                     }
-                    if ( "${oldImageIDCSE}" != '' ) {
+                    if ( "${oldImageIDCSE}" != "" ) {
                         echo "Removing old image ${oldImageIDCSE}"
                         echo "Image Name: " + "${imageNameCSE}"
                         echo "Old Image: ${oldImageIDCSE}"
-                        sh 'docker rmi ${oldImageIDCSE}'
+                        sh "docker rmi ${oldImageIDCSE}"
                     }else{
                         echo "Warning: ${imageNameCSE} does not exist"
                     }
                     echo "3. Assigned new tags to the images"
-                    sh 'docker tag ${registry}-math:v${version}.${env.BUILD_ID} ${registry}-math:latest'
-                    sh 'docker tag ${registry}-cse:v${version}.${env.BUILD_ID} ${registry}-cse:latest'
+                    sh "docker tag ${registry}-math:v${version}.${env.BUILD_ID} ${registry}-math:latest"
+                    sh "docker tag ${registry}-cse:v${version}.${env.BUILD_ID} ${registry}-cse:latest"
                 }
             }
         }
-        stage('Deploy') {
+        stage("Deploy") {
             steps {
                 script {
                     echo "Deploying docker image ${registry}-math:${version}.${env.BUILD_ID} and ${registry}-cse:${version}.${env.BUILD_ID} with docker compose"
-                    sh 'docker compose -f ./docker/docker-compose.yaml up -d'
+                    sh "docker compose -f ./docker/docker-compose.yaml up -d"
                 }
             }
         }