Fix git safe-directory path for docker images

ehuss · ehuss · commit 572ba97f10e9 · 2024-07-16T17:42:25.000-07:00
diff --git a/src/ci/run.sh b/src/ci/run.sh
@@ -19,7 +19,7 @@ if [ "$NO_CHANGE_USER" = "" ]; then
     # already be running with the right user.
     #
     # For NO_CHANGE_USER done in the small number of Dockerfiles affected.
-    echo -e '[safe]\n\tdirectory = *' > /home/user/gitconfig
+    echo -e '[safe]\n\tdirectory = *' > /home/user/.gitconfig
 
     exec su --preserve-environment -c "env PATH=$PATH \"$0\"" user
   fi

Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ if [ "$NO_CHANGE_USER" = "" ]; then`
`19`	`19`	`# already be running with the right user.`
`20`	`20`	`#`
`21`	`21`	`# For NO_CHANGE_USER done in the small number of Dockerfiles affected.`
`22`		`- echo -e '[safe]\n\tdirectory = *' > /home/user/gitconfig`
	`22`	`+ echo -e '[safe]\n\tdirectory = *' > /home/user/.gitconfig`
`23`	`23`
`24`	`24`	`exec su --preserve-environment -c "env PATH=$PATH \"$0\"" user`
`25`	`25`	`fi`