1 [[meta title="Mirroring the web site"]]
3 In keeping with the philosophy of distributed development, our web site is
4 stored in our git repositories and converted into html by
5 [ikiwiki](http://ikiwiki.info/).
7 We're mirrored on several servers. Rather than using ikiwiki's [pinger/pingee
8 approach to distribution](http://ikiwiki.info/tips/distributed_wikis/), we've
9 opted for a method that uses ssh.
11 The steps for creating a new mirror are:
13 ## Steps to take on the mirror server ##
15 Add etch-backports to your /etc/apt/sources.list:
17 deb http://www.backports.org/debian etch-backports main contrib non-free
19 Add the following lines to your /etc/apt/preferences file:
22 Pin: release a=etch-backports
26 Package: libcgi-formbuilder-perl
27 Pin: release a=etch-backports
31 Pin: release a=etch-backports
34 Install git-core and ikiwiki
36 aptitude update; aptitutde install git-core ikiwiki
38 Create a new user. Change the new users shell to git-shell:
40 adduser -s /usr/bin/git-shell <username>
42 Add webmaster@george's public key to this user's ~/.ssh/authorized_keys file
44 Add web site configuration that the user has write access to. If you are using Apache, include the following rewrite:
47 RewriteCond %{HTTP_HOST} !^(YOURHOSTNAME|web)\.monkeysphere\.info$ [NC]
48 RewriteCond %{HTTP_HOST} !^$
49 RewriteRule ^/(.*) http://web.monkeysphere.info/$1 [L,R]
51 Upload and edit ikiwiki.setup.sample from the docs directory
53 As the new user, create two new git repos
55 mkdir monkeysphere.git; cd monkeysphere.git; git init --bare; cd ../
56 git clone monkeysphere.git # this will create a second git repo called monkeysphere
58 Change the mode of monkeysphere.git/hooks/post-receive to 755
60 chmod 755 monkesphere.git/hooks/post-receive
62 Edit the file so that it executes the post-receive hook ikiwiki generates (as
63 you specified in the ikiwiki.setup file)
65 ## Admin steps to take to enable the configuration ##
67 Add a new dns record for SERVERNAME.monkeysphere.info.
69 Test the ssh connection by logging in as webmaster@george.riseup.net
71 Add the new server as a remote on webmaster@george.riseup.net:monkeysphere.git
74 git add remote SERVERNAME USER@SERVERNAME.monkeysphere.info:/path/to/repo