diff --git a/blanck_git_config.config b/blanck_git_config.config new file mode 100644 index 0000000000..e69de29bb2 diff --git a/run.sh b/run.sh index fa5dd67d31..994a84e45d 100755 --- a/run.sh +++ b/run.sh @@ -55,8 +55,13 @@ done PATH=$(pwd)/src/scripts/merge_tools/:$PATH export PATH -echo "Checking for custom merge drivers in global configuration..." -merge_drivers=$(git config --global --get-regexp '^merge\..*\.driver$' || echo "No merge drivers set") +export GIT_CONFIG_GLOBAL=$(pwd)/blanck_git_config.config +if git config --list --show-origin | grep 'file:'"$GIT_CONFIG_GLOBAL" > /dev/null; then + echo "Error: Global config is not empty" + exit 1 +else + echo "Global config is empty" +fi if [ "$merge_drivers" == "No merge drivers set" ]; then echo "No custom merge drivers found in global configuration. Proceeding with the evaluation."