From 54b5b0d71747ef5faf0ea6ab13f38237b36549f9 Mon Sep 17 00:00:00 2001
From: kdeng00 <kundeng00@pm.me>
Date: Mon, 21 Jul 2025 21:29:20 -0400
Subject: [PATCH] Docker changes for port change

---
 Dockerfile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 7adcf8e..5470890 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -16,10 +16,17 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
     openssh-client git \
     && rm -rf /var/lib/apt/lists/*
 
+# Configure SSH to use the custom port (e.g., 2222)
+RUN mkdir -p ~/.ssh && \
+    echo "Host git.kundeng.us" >> ~/.ssh/config && \
+    echo "    Port 8122" >> ~/.ssh/config && \
+    echo "    User git" >> ~/.ssh/config && \
+    chmod 600 ~/.ssh/config
+
 # << --- ADD HOST KEY HERE --- >>
 # Replace 'yourgithost.com' with the actual hostname (e.g., github.com)
 RUN mkdir -p -m 0700 ~/.ssh && \
-    ssh-keyscan git.kundeng.us >> ~/.ssh/known_hosts
+    ssh-keyscan -p 8122 git.kundeng.us >> ~/.ssh/known_hosts
 
 # Copy Cargo manifests
 COPY Cargo.toml Cargo.lock ./