install: distinguish between create/overwrite for git config.user

This commit is contained in:
Fernando Schauenburg 2022-02-07 20:01:40 +01:00
parent 08cd87e019
commit d2e17fd988

View file

@ -113,7 +113,12 @@ EOF
git config -f "$temp_git" user.email "${GIT_EMAIL}"
if ! diff "$config_file" "$temp_git" >/dev/null 2>&1; then
echo "${yellow}OVERWRITE:$rst $config_file with $temp_git:"
if [ -f "$config_file" ]; then
action=OVERWRITE
else
action=CREATE
fi
echo "$yellow$action:$rst $config_file with contents of $temp_git:"
echo "$cyan"
cat "$temp_git"
echo "$rst"