From 2dd27b37c60dda88348f93d522ccbcb383e00b5c Mon Sep 17 00:00:00 2001
From: t-fritsch <thomas@uidlt.fr>
Date: Thu, 3 Aug 2023 22:31:07 +0200
Subject: [PATCH] ignore node_modules for livereload

may allow perf boost
---
 gulpfile.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gulpfile.js b/gulpfile.js
index c350a544..ca22211f 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -302,6 +302,7 @@ gulp.task('serve', () => {
     gulp.watch([
         slidesRoot + '**/*.html', 
         slidesRoot + '**/*.md',
+        `!${slidesRoot}**/node_modules/**`, // ignore node_modules
     ], gulp.series('reload'))
 
     gulp.watch(['js/**'], gulp.series('js', 'reload', 'eslint'))