From af4f39abd491da048cf04180f1304a4b43fd852d Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Sun, 1 Jan 2023 11:59:44 +0400
Subject: [PATCH] Improve lint-theme

---
 lint-theme.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lint-theme.sh b/lint-theme.sh
index 88fe5ec11..5b71663bb 100755
--- a/lint-theme.sh
+++ b/lint-theme.sh
@@ -39,7 +39,7 @@ fi
 
 if [ "x$1" = "x--all" ] ; then
     EXIT_CODE=0
-    for dir in `find . -mindepth 1 -maxdepth 1 -type d` ; do
+    for dir in `find . -mindepth 1 -maxdepth 1 -type d -not -name archived -not -name '.*'` ; do
         do_lint $dir
         if [ $? -ne 0 ] ; then
             EXIT_CODE=1