Tell git to ignore directory ownership (fixes #2495) (#2496)

* Tell git to ignore directory ownership in docker

* Show usage instead of an error when no arguments are passed into docker
This commit is contained in:
Mark Steward 2024-02-23 02:33:31 +00:00 committed by GitHub
parent d53b83b58e
commit 4d231af19d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -3,4 +3,11 @@
# Parse the last argument into an array of extra_args. # Parse the last argument into an array of extra_args.
mapfile -t extra_args < <(bash -c "for arg in ${*: -1}; do echo \$arg; done") mapfile -t extra_args < <(bash -c "for arg in ${*: -1}; do echo \$arg; done")
# Directories might be owned by a user other than root
git config --global --add safe.directory '*'
if [[ $# -eq 0 ]]; then
/usr/bin/trufflehog --help
else
/usr/bin/trufflehog "${@: 1: $#-1}" "${extra_args[@]}" /usr/bin/trufflehog "${@: 1: $#-1}" "${extra_args[@]}"
fi