From fa99d1f149ca093941cddf639fa2023f98bac896 Mon Sep 17 00:00:00 2001 From: Letter N <24603524+LetterN@users.noreply.github.com> Date: Tue, 29 Dec 2020 12:00:33 +0800 Subject: [PATCH] we also don't have this --- tools/ci/check_grep.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/tools/ci/check_grep.sh b/tools/ci/check_grep.sh index 0cc28bf42e..e8fec876e7 100755 --- a/tools/ci/check_grep.sh +++ b/tools/ci/check_grep.sh @@ -35,11 +35,11 @@ echo "Checking for pixel_[xy]" if grep -P 'pixel_[xy] = 0' _maps/**/*.dmm; then echo "pixel_x/pixel_y = 0 variables detected in maps, please review to ensure they are not dirty varedits." fi; -echo "Checking for stacked cables" -if grep -P '"\w+" = \(\n([^)]+\n)*/obj/structure/cable,\n([^)]+\n)*/obj/structure/cable,\n([^)]+\n)*/area/.+\)' _maps/**/*.dmm; then - echo "found multiple cables on the same tile, please remove them." - st=1 -fi; +# echo "Checking for stacked cables" +# if grep -P '"\w+" = \(\n([^)]+\n)*/obj/structure/cable,\n([^)]+\n)*/obj/structure/cable,\n([^)]+\n)*/area/.+\)' _maps/**/*.dmm; then +# echo "found multiple cables on the same tile, please remove them." +# st=1 +# fi; if grep -P '^/area/.+[\{]' _maps/**/*.dmm; then echo "ERROR: Vareditted /area path use detected in maps, please replace with proper paths." st=1