From ac75e5f12c3d91f9d7fb557629e7ed967e564cc3 Mon Sep 17 00:00:00 2001
From: Starbeamrainbowlabs <sbrl@starbeamrainbowlabs.com>
Date: Sun, 10 May 2020 13:41:53 +0100
Subject: [PATCH] git-instaweb: add page (#4017)

---
 pages/common/git-instaweb.md | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 pages/common/git-instaweb.md

diff --git a/pages/common/git-instaweb.md b/pages/common/git-instaweb.md
new file mode 100644
index 0000000000..cd447a2821
--- /dev/null
+++ b/pages/common/git-instaweb.md
@@ -0,0 +1,32 @@
+# git instaweb
+
+> Helper to launch a gitweb server.
+> More information: <https://git-scm.com/docs/git-instaweb>.
+
+- Launch a gitweb server for the current git repository:
+
+`git instaweb --start`
+
+- Listen only on localhost:
+
+`git instaweb --start --local`
+
+- Listen on a specific port:
+
+`git instaweb --start --port {{1234}}`
+
+- Use a specified http daemon:
+
+`git instaweb --start --httpd {{lighttpd|apache2|mongoose|plackup|webrick}}`
+
+- Also auto-launch a web browser:
+
+`git instaweb --start --browser`
+
+- Stop the currently running gitweb server:
+
+`git instaweb --stop`
+
+- Restart the currently running gitweb server:
+
+`git instaweb --restart`