pretty web page for ev3dev
Clone or download
Latest commit 6af90ea Oct 22, 2018
Type Name Latest commit message Commit time
Failed to load latest commit information.
_data Remove unused files for generating hardware driver pages Mar 11, 2017
_includes fix missing space Oct 22, 2018
_layouts Move non-essential content to end of HTML document Dec 4, 2016
_sass Replace CSS files with properly-structured Sass Feb 27, 2016
docs Change docker-engine to docker-ce in tutorial Aug 23, 2018
ev3devKit Missed filed that was supposed to be included in 9d7ecab Mar 29, 2017
fonts/bootstrap Fix font loading, and add matching Bootstrap JS to repo Feb 27, 2016
images Add new project (#395) Aug 16, 2018
javascripts start promoting ev3dev-stretch as beta Aug 8, 2018
news is https now Sep 14, 2018
projects Rename to Oct 22, 2018
stylesheets Scroll <pre>s horizontally instead of wrapping Apr 30, 2017
.gitignore Stupid Mac hidden file Nov 7, 2016
.travis.yml Bump Ruby CI version to 2.2.2 (#240) Sep 23, 2016
BingSiteAuth.xml Create BingSiteAuth.xml Sep 11, 2014
CNAME Create CNAME Jul 26, 2014
Gemfile Add initial version of Travis config Dec 30, 2015 clarify section on online preview (#388) Nov 20, 2017
_config.yml Fix jekyll deprecation warning Sep 14, 2017 Update Oct 2, 2018 lechnology has moved to https Jun 14, 2018 start promoting ev3dev-stretch as beta Aug 8, 2018
favicon.ico Add favicon Nov 17, 2015
favicon.svg Add favicon Nov 17, 2015
favicon_e_with_margin.png Add favicon Nov 17, 2015
google66aadc0d75c27a5d.html Create google66aadc0d75c27a5d.html Sep 11, 2014 Add redirect for grx Mar 11, 2017 has moved to https Jun 17, 2018 Fix typos in Sep 3, 2016
publish.rb Fix publish.rb script output Oct 13, 2016
repo-metadata.html Get rid of {{ site.github.url }} Jan 7, 2016
robots.txt Allow access by robots to styles and scripts (#217) Aug 27, 2016
search-index.json Hide redirected pages from search and use firendly breadcrumbs (#355) Mar 15, 2017 "Prettify" breadcrumbs and improve misc formatting (#322) Dec 28, 2016 "Prettify" breadcrumbs and improve misc formatting (#322) Dec 28, 2016

Pretty website for ev3dev Build Status

This is the source repository for the web page at If you want to learn more about ev3dev in general, visit the site or check out our GitHub repo.

Feel free to fork and make a pull request! If you're looking for ways to contribute to our website, check out issues tagged "help wanted"; there are often tasks there which are well-suited to new contributors.

Previewing Locally

You can view your changes locally by installing Jekyll.

Installing Jekyll in Ubuntu 16.04

Install Ruby via apt-get

sudo apt-get install git ruby ruby-dev zlib1g-dev nodejs
sudo gem install bundler

Install Ruby via RVM (Ruby Version Manager)

If you use ruby for other things and don't want to mess up you system ruby installation, you can install ruby via rvm instead. Note that you must do the 'source' line when you open a new xterm or add it to ~/.bashrc.

gpg --keyserver hkp:// --recv-keys 409B6B1796C275462A1703113804BB82D39DC0E3
\curl -sSL | bash -s stable --ruby
source ~/.rvm/scripts/rvm

You will still need to run the following too...

sudo apt-get install git zlib1g-dev nodejs
sudo gem install bundler

Check Out Code and Run Jekyll

git clone<user>/
bundle install
bundle exec jekyll serve --safe --incremental &
www-browser http://localhost:4000 &
# work, work, work

Installing Jekyll on Windows

First, follow the instructions in step 1 here: "Installing Ruby and the Ruby DevKit."

Then run:

gem install bundler
git clone<user>/
bundle install
bundle exec jekyll serve --safe --incremental

Now you should be able to visit your page at: http://localhost:4000. It should auto-update when you change the source files, so all you have to do is refresh your browser.

Previewing Your Changes Online

After you have previewed your changes locally, you can use a special Ruby script to publish your changes using the gh-pages branch of your fork of

If you have SSH setup for your GitHub account, simply run ./publish.rb <gh-user> --ssh where <gh-user> is your actual GitHub user name. If you do not have SSH set up, use ./publish.rb <gh-user>. This will copy the contents of _site, fix it up a bit and push it to your fork on GitHub. You can view the results at http://<gh-user>