From 253741b344a94f213b8aff1c0537bcc86e24db7b Mon Sep 17 00:00:00 2001 From: "https://id.koumbit.net/anarcat" Date: Fri, 18 Apr 2014 12:33:44 -0400 Subject: [PATCH] resize images for easier display --- doc/tips/distributed_wikis.mdwn | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/tips/distributed_wikis.mdwn b/doc/tips/distributed_wikis.mdwn index 81869a94f..dff89618e 100644 --- a/doc/tips/distributed_wikis.mdwn +++ b/doc/tips/distributed_wikis.mdwn @@ -19,7 +19,7 @@ Here's a graphic overview of those: ### Default setup - one central server -[[!img rcs/git/wiki_edit_flow.svg size=490x align=center]] +[[!img rcs/git/wiki_edit_flow.svg size=400x]] In the default setup, all the resources are stored on the central servers. Users can still clone and edit the git repo by hand and @@ -28,7 +28,7 @@ web interface. ### Separate webserver and git repository -[[!img tips/Git_repository_and_web_server_on_different_hosts/separate-webserver.svg align=center]] +[[!img tips/Git_repository_and_web_server_on_different_hosts/separate-webserver.svg size=400x]] In the configuration described in [[tips/Git_repository_and_web_server_on_different_hosts]], the @@ -38,7 +38,7 @@ the git server. ### Decentralised pinger setup -[[!img ping-setup.svg align=center]] +[[!img ping-setup.svg size=400x]] In this configuration, the mirrors all have their own `srcdir`, but still need to push and pull from the same central bare git repo. The @@ -47,7 +47,7 @@ server on edits. ### Fully decentralised setup -[[!img .svg align=center]] +[[!img decentralized_wikis.svg size=400x]] In this configuration, each wiki is fully independent and pushes its changes to other wikis using the [[plugins/gitpush]] plugin.