diff options
Diffstat (limited to 'doc/tips')
| -rw-r--r-- | doc/tips/distributed_wikis.mdwn | 8 |
1 files 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. |