Back on the internets

Thanks to ebzao, I'm back on the internets. :-)

To use ikiwiki with a remote host, just do the following:

put ikibiki.git on the server;
put the following in ikibiki.git/.git/hooks/post-receive and make it executable (it looks like setting GIT_DIR is mandatory to have run successfully when pushing, although locally or over through ssh, everything seems fine without it...):
```
export GIT_DIR=~/ikibiki.git/.git
cd $GIT_DIR/..
git checkout -f                # Update this repository
ikiwiki --setup ikiwiki.setup  # Update the HTML pages
echo 'HTML update: done!'      # Notify the 'push'-er
```
git-clone on the local host;
edit/patch/...
git-push

And now the site gets automatically updated some seconds after a push.

(Note to self: a code block inside a list needs to be indented twice.)