diff options
| author | Eric Huss <eric@huss.org> | 2024-07-16 17:42:25 -0700 |
|---|---|---|
| committer | Eric Huss <eric@huss.org> | 2024-07-16 17:42:25 -0700 |
| commit | 572ba97f10e970c5cd0ccfc2f0cd52002c799ee4 (patch) | |
| tree | a4d5fa7eb2946b9056504b75c8ad0918263ac204 | |
| parent | 7d356ebde329df5f38186efe3e7c5e8dabac7cb7 (diff) | |
| download | rust-572ba97f10e970c5cd0ccfc2f0cd52002c799ee4.tar.gz rust-572ba97f10e970c5cd0ccfc2f0cd52002c799ee4.zip | |
Fix git safe-directory path for docker images
| -rwxr-xr-x | src/ci/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh index 869f75e923d..c8201d9bcfd 100755 --- 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 |