From a0f0f8ca176f3abf179c67f7d33eeab454d6f5bc Mon Sep 17 00:00:00 2001
From: Yannick <20306025+yandeu@users.noreply.github.com>
Date: Tue, 20 Apr 2021 08:38:05 +0200
Subject: [PATCH] Added five-server to the docs (#21550)

---
 .../How-to-run-things-locally.html            | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/docs/manual/en/introduction/How-to-run-things-locally.html b/docs/manual/en/introduction/How-to-run-things-locally.html
index c31731a449..38b16eaab7 100644
--- a/docs/manual/en/introduction/How-to-run-things-locally.html
+++ b/docs/manual/en/introduction/How-to-run-things-locally.html
@@ -52,6 +52,7 @@
 			<div>
 				<p>Some code editors have plugins which will spawn a simple server on demand.</p>
 				<ul>
+					<li>[link:https://marketplace.visualstudio.com/items?itemName=yandeu.five-server Five Server] for Visual Studio Code.</li>
 					<li>[link:https://marketplace.visualstudio.com/items?itemName=ritwickdey.LiveServer Live Server] for Visual Studio Code.</li>
 					<li>[link:https://atom.io/packages/atom-live-server Live Server] for Atom.</li>
 				</ul>
@@ -64,6 +65,24 @@
 				</p>
 			</div>
 
+			<h3>Node.js five-server</h3>
+			<div>
+				<p>Development server with live reload capability. To install:</p>
+				<code>
+# Remove live-server (if you have it)
+npm -g rm live-server
+
+# Install five-server
+npm -g i five-server
+
+# Update five-server (from time to time)
+npm -g i five-server@latest
+				</code>
+
+				<p>To run (from your local directory):</p>
+				<code>five-server . -p 8000</code>
+			</div>
+
 			<h3>Node.js http-server</h3>
 			<div>
 				<p>Node.js has a simple HTTP server package. To install:</p>
-- 
GitLab