announce 3.20150610

[git.ikiwiki.info.git] / doc / tips / Hosting_Ikiwiki_and_master_git_repository_on_different_machines.mdwn

diff --git a/doc/tips/Hosting_Ikiwiki_and_master_git_repository_on_different_machines.mdwn b/doc/tips/Hosting_Ikiwiki_and_master_git_repository_on_different_machines.mdwn
index af4438bd5f6ac4f64cb443c6cfa3ba52e12da4f0..49ae172d1f31b4091c88d0c66142c8a854cbcb15 100644 (file)
--- a/doc/tips/Hosting_Ikiwiki_and_master_git_repository_on_different_machines.mdwn
+++ b/doc/tips/Hosting_Ikiwiki_and_master_git_repository_on_different_machines.mdwn
@@ -1,4 +1,5 @@
 [[!meta title="Hosting Ikiwiki with a master git repository on a remote machine"]]
+[[!meta date="2013-07-22 16:38:20 -0400"]]
 
 This tutorial explains how to set up a wiki such that:
 
@@ -38,6 +39,8 @@ it on a remote machine, and tell Ikiwiki to use it instead of its local one. We
 will also ensure that the wiki is rendered whenever a commit is done to the git
 repository.
 
+[[!img separate-web-git-servers.svg size=400x]]
+
 # Conventions
 
 - We are building a wiki called *SITE*.
@@ -150,6 +153,6 @@ the IkiWiki machine, and here is the deadlock. Explanations of the command:
   the git machine by the corresponding manipulations using gitolite.
     * With gitolite, you can use this line in a `post-update` hook:
 
-        `[ x"$GL_USER" = x"`*`gitolite-user`*`" ] || wget ...`
+        `[ x"$GL_USER" = x"`*`gitolite-user`*`" ] || wget ...` where *gitolite-user* is the name of the public key registered through gitolite.
 
-        thus, you filter out precisely the events that originate from the server-to-be-pinged, no matter what the commit id says. (For example, if you push commits you created on a local CGI ikiwiki, they'd be called '@web' as well).
+        Thus, you filter out precisely the events that originate from the server-to-be-pinged, no matter what the commit id says. (For example, if you push commits you created on a local CGI ikiwiki, they'd be called '@web' as well).