From 4019737cf6cd8f3bf48992368464f6858286a350 Mon Sep 17 00:00:00 2001 From: Matthijs van der Burgh Date: Thu, 13 Jun 2024 10:54:08 +0200 Subject: [PATCH] Revert "(docker) restore user provided known_hosts" This reverts commit ca1b7b3ee65773a6ce004da9edc4e71ff3125bfb. --- dockerfiles/tue-env.Dockerfile | 4 ---- 1 file changed, 4 deletions(-) diff --git a/dockerfiles/tue-env.Dockerfile b/dockerfiles/tue-env.Dockerfile index c59183b04..11825e358 100644 --- a/dockerfiles/tue-env.Dockerfile +++ b/dockerfiles/tue-env.Dockerfile @@ -66,7 +66,6 @@ WORKDIR /home/"$USER" RUN mkdir -p -m 0700 ~/.ssh ADD ./known_hosts ./.ssh/known_hosts RUN sudo chown $USER_ID:$USER_ID ~/.ssh/known_hosts && sudo chmod 644 ~/.ssh/known_hosts -RUN cp ~/.ssh/known_hosts ~/.ssh/known_hosts.bak # Setup Git HTTPS token authentication RUN { [[ -n "$OAUTH2_TOKEN" ]] && git config --global credential.helper '!f() { printf "%s\n" "username=oauth2" "password=$OAUTH2_TOKEN"; };f'; } || exit 0 @@ -114,9 +113,6 @@ RUN --mount=type=ssh,uid=$USER_ID --mount=type=bind,source=installer/bootstrap.b # Remove apt cache sudo rm -rf /var/lib/apt/lists/* -# Restore known_hosts to one provided by the user -RUN mv -f ~/.ssh/known_hosts.bak ~/.ssh/known_hosts - # Remove Git HTTPS token authentication RUN { [[ -n "$OAUTH2_TOKEN" ]] && git config --global --unset credential.helper; } || exit 0