linter shoo

2020-12-29 12:32:10 +08:00
parent 1c9971c07c
commit d82def21b8
2 changed files with 12 additions and 16 deletions
@@ -52,16 +52,16 @@ if grep -P '^/*var/' code/**/*.dm; then
    echo "ERROR: Unmanaged global var use detected in code, please use the helpers."
    st=1
 fi;
-echo "Checking for space indentation"
-if grep -P '(^ {2})|(^ [^ * ])|(^    +)' code/**/*.dm; then
-    echo "space indentation detected"
-    st=1
-fi;
-echo "Checking for mixed indentation"
-if grep -P '^\t+ [^ *]' code/**/*.dm; then
-    echo "mixed <tab><space> indentation detected"
-    st=1
-fi;
+# echo "Checking for space indentation"
+# if grep -P '(^ {2})|(^ [^ * ])|(^    +)' code/**/*.dm; then
+#     echo "space indentation detected"
+#     st=1
+# fi;
+# echo "Checking for mixed indentation"
+# if grep -P '^\t+ [^ *]' code/**/*.dm; then
+#     echo "mixed <tab><space> indentation detected"
+#     st=1
+# fi;
 nl='
 '
 nl=$'\n'