Mon, 08 Apr 2019 12:45:09 +0200

3 files changed, 28 insertions, 0 deletions

diff --git a/Nginx.wiki b/Nginx.wiki
new file mode 100644
index 0000000..a08e52c
--- /dev/null
+++ b/Nginx.wiki
@@ -0,0 +1,4 @@
+= Nginx =
+Auth HTTP
+https://docs.nginx.com/nginx/admin-guide/security-controls/configuring-subrequest-authentication/
+https://www.nginx.com/resources/wiki/extending/examples/auth_request/
diff --git a/TexServer.wiki b/TexServer.wiki
new file mode 100644
index 0000000..76e5d62
--- /dev/null
+++ b/TexServer.wiki
@@ -0,0 +1,22 @@
+= TexServer =
+
+This is an idea for an easy way to display TeX files. The basic idea
+is that TeX files are served, and built on demand. If you build this,
+please tell me.
+
+`GET list/`
+lists available document
+
+	Implemented as regular directory listing from file server
+	Just list the repos.
+
+`GET doc/name`
+Returns the given document, builds it if not already there.
+
+In every repo, put an index.cgi, which should do:
+{{{sh
+	$ git fetch --all
+	$ git checkout <branch>
+	$ latexmk
+	$ return <doc>.pdf 
+}}}
diff --git a/index.wiki b/index.wiki
index 01b75c0..5951882 100644
--- a/index.wiki
+++ b/index.wiki
@@ -29,6 +29,8 @@
     * [[Colors]]
     * [[Operativsystem]]
     * [[Matlab]]
+    * [[TexServer]]
+    * [[Nginx]]
 
     * [[diary/diary|Dagbok]]