Make sure config files are empty

benedikt-schesch · May 6, 2024 · 09139fc · 09139fc
1 parent 216294e
commit 09139fc
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/blanck_git_config.config b/blanck_git_config.config
diff --git 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."