From a1821b148ba01d9ff08157ffc07962dc4480c15f Mon Sep 17 00:00:00 2001 From: Andreas Kirschbaum Date: Sun, 25 Jul 2021 11:39:41 +0200 Subject: [PATCH] Ignore .git directory in Gridarta plugin scripts --- editor/scripts/MapNormalizer | 1 + editor/scripts/MapValidator | 1 + 2 files changed, 2 insertions(+) diff --git a/editor/scripts/MapNormalizer b/editor/scripts/MapNormalizer index 852637561..de445acef 100644 --- a/editor/scripts/MapNormalizer +++ b/editor/scripts/MapNormalizer @@ -96,6 +96,7 @@ while (it.hasNext()) { && !name.equals(".emergency") && !name.equals("ChangeLog") && !name.equals("COPYING") + && !path.contains("/.git/") && !path.contains("/Info/") && !path.contains("/editor/scripts/")) { normalizeMap(file, file.getPath().substring(mapDefaultFolder.length())); diff --git a/editor/scripts/MapValidator b/editor/scripts/MapValidator index c4c021978..9151fb705 100644 --- a/editor/scripts/MapValidator +++ b/editor/scripts/MapValidator @@ -118,6 +118,7 @@ try { && !name.equals("ChangeLog") && !name.equals("COPYING") && !name.equals("TODO") + && !path.contains("/.git/") && !path.contains("/Info/") && !path.contains("/editor/scripts/")) { checkMap(file, file.getPath().substring(mapDefaultFolder.length()));