From 4f2a6a3c701b32c9718c41b7ed24014219dc9461 Mon Sep 17 00:00:00 2001
From: dannyrb <danny.ri.brown@gmail.com>
Date: Wed, 17 Apr 2019 16:42:56 -0400
Subject: [PATCH] Silly little bat script to make dev on windows less painful

---
 docs/win-server-workaround.bat | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 docs/win-server-workaround.bat

diff --git a/docs/win-server-workaround.bat b/docs/win-server-workaround.bat
new file mode 100644
index 000000000..ef9dffb6e
--- /dev/null
+++ b/docs/win-server-workaround.bat
@@ -0,0 +1,13 @@
+:: REQUIRES GLOBAL INSTALL OF GITBOOK and GITBOOK-CLI
+::
+:: Call this script from the command line while in the directory of the book
+:: you want to actively edit + preview
+::
+:: `gitbook serve` can break with permission issues on Windows for misc.
+:: machines. This script is a workaround. When `gitbook serve` fails, it silently
+:: restarts it.
+:: https://github.com/GitbookIO/gitbook/issues/1379#issuecomment-288048275
+@Echo off
+:Start
+call gitbook serve
+goto Start
\ No newline at end of file