[mod] simple theme - add ESLint

[1] https://eslint.org/
[2] https://eslint.org/docs/user-guide/configuring/
[3] https://eslint.org/docs/user-guide/command-line-interface

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>

1 files changed, 2 insertions, 0 deletions

diff --git a/manage b/manage
index a855512f5..31abd8a3e 100755
--- a/manage
+++ b/manage
@@ -665,6 +665,8 @@ themes.oscar() {
 themes.simple() {
     build_msg GRUNT "theme: simple"
     npm --prefix searx/static/themes/simple run build
+    # just report eslint issues but do not break the build (--force)
+    npm --prefix searx/static/themes/simple run eslint --force
     dump_return $?
 }