From 74a5dac34f4295bc6b744fc50c6cba8d59489fc5 Mon Sep 17 00:00:00 2001
From: Thomas Fritsch <thomas@uidlt.fr>
Date: Sun, 6 Aug 2023 22:52:03 +0200
Subject: [PATCH] speed up livereload

connect.reload needs a stream of files to fire, but this stream is irrelevant here and slows refresh time a lot (from ~2ms to 2000ms here)
---
 gulpfile.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gulpfile.js b/gulpfile.js
index e36894bc..a2b89ca1 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -286,7 +286,7 @@ gulp.task('package', gulp.series(() =>
 
 ))
 
-gulp.task('reload', () => gulp.src(['**/*.html', '**/*.md'])
+gulp.task('reload', () => gulp.src(['index.html'])
     .pipe(connect.reload()));
 
 gulp.task('serve', () => {
@@ -300,7 +300,7 @@ gulp.task('serve', () => {
 
     const slidesRoot = root.endsWith('/') ? root : root + '/'
     gulp.watch([
-        slidesRoot + '**/*.html', 
+        slidesRoot + '**/*.html',
         slidesRoot + '**/*.md',
         `!${slidesRoot}**/node_modules/**`, // ignore node_modules
     ], gulp.series('reload'))