From e152028f6ea5dfe1bcdea51bd2efbc6fdebb8b87 Mon Sep 17 00:00:00 2001
From: Andrew D. France
Date: Wed, 23 Jul 2025 03:52:40 -0500
Subject: Remove CI/CD pipeline files - moving to separate PR

---
 Dockerfile.jenkins | 40 ----------------------------------------
 1 file changed, 40 deletions(-)
 delete mode 100644 Dockerfile.jenkins

(limited to 'Dockerfile.jenkins')

diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins
deleted file mode 100644
index 23a95f1..0000000
--- a/Dockerfile.jenkins
+++ /dev/null
@@ -1,40 +0,0 @@
-# Dockerfile.jenkins
-# Use the official Jenkins image as a base
-FROM jenkins/jenkins:lts-jdk17
-
-# Pass Host User, Group, and Docker Group IDs as build arguments
-ARG UID
-ARG GID
-ARG DOCKER_GID
-
-# Switch to root user to install dependencies and manage users
-USER root
-
-# Install Docker CLI so Jenkins can interact with the host's Docker daemon
-RUN apt-get update && apt-get install -y lsb-release sudo
-RUN curl -fsSLo /usr/share/keyrings/docker-archive-keyring.asc \
-  https://download.docker.com/linux/debian/gpg
-RUN echo "deb [arch=$(dpkg --print-architecture) \
-  signed-by=/usr/share/keyrings/docker-archive-keyring.asc] \
-  https://download.docker.com/linux/debian \
-  $(lsb_release -cs) stable" > /etc/apt/sources.list.d/docker.list
-RUN apt-get update && apt-get install -y docker-ce-cli
-
-# Create a docker group with the host's GID to match permissions
-# and add the jenkins user to it.
-RUN if [ -n "$DOCKER_GID" ]; then \
-        groupadd -g $DOCKER_GID docker && \
-        usermod -aG docker jenkins; \
-    fi
-
-# Change the jenkins user and group to match the host.
-# This should ensure file permissions for the jenkins_home volume are correct.
-RUN if [ -n "$GID" ] && [ "$(getent group jenkins | cut -d: -f3)" != "$GID" ]; then \
-        groupmod -g $GID jenkins; \
-    fi
-RUN if [ -n "$UID" ] && [ "$(id -u jenkins)" != "$UID" ]; then \
-        usermod -u $UID jenkins; \
-    fi
-
-# Switch to the newly configured jenkins user
-USER jenkins
-- 
cgit v1.2.3-59-g8ed1b