How to change this website

This is a quick tutorial on how to modify and deploy this website.

  1. Get the proper autorization.

  2. Clone local copies:

git clone
git clone
cd website
  1. Do some modifications

  2. Open a local server:

bundle exec jekyll serve
  1. Validate your modifications on [http://localhost:4000/]

  2. Send your modifications on GitHub: git pull, git add, git commit, git push

  3. Compile in production mode:

JEKYLL_ENV=production jekyll build
  1. Publish the compiled website:
cd ../
git pull # just in case
rsync -a ../website/_site/ .
git add --all
git commit -a -m "Your comment"
git push

FIXME: If you know how to insert block code without breaking a list, please change this post.