Idris Hackers

Colophon

This site is clearly powered by the Octopress. Handy links for working with Octopress are as follows:

The main documentation also has more information.

Handy default steps for blogging:

  1. Ensure you have the correct environment for working with Octopress
  2. Clone the sites octopress instance:
  3. Checkout the source branch
  4. Generate content
  5. Generate new site
  6. Deploy new sites
  7. Commit new content
  8. push source back.
1
2
3
4
5
6
7
8
9
10
11
12

$ git clone git@github.com:idris-hackers/idris-hackers.github.io.git website
$ cd website
$ git checkout source
$ bundle install
$ rake setup_github_pages // using git@github.com:idris-hackers/idris-hackers.github.io.git
$ rake new_post["My First Post"]
$ $EDITOR source/_posts/2013-11-21-my-first-post.markdown
$ rake generate
$ rake deploy
$ git add .
$ git commit -m "A handy message"
$ git push origin source

For Ubuntu to set up your Octopress environment:

1
2

$ sudo apt-get install ruby1.9.3
$ sudo gem install bundle