Skip to content

roboptim/roboptim.github.com

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

roboptim.github.com

RobOptim Website.

Testing locally

In order to test your modifications locally before pushing to GitHub, install jekyll, and run the following command at the root of the project folder:

$ jekyll server --safe --trace

You will get something like:

Configuration file: /path/to/roboptim.github.com/_config.yml
           Source:  /path/to/roboptim.github.com
       Destination: /path/to/roboptim.github.com/_site
      Generating... 
                    done.
Configuration file: /path/to/roboptim.github.com/_config.yml
    Server address: http://0.0.0.0:4000/
  Server running... press ctrl-c to stop

Then simply type the server address in your browser (http://0.0.0.0:4000/ here).

Updating documentation pages

Some pages are downloaded from the online documentation of roboptim-core. To update these pages, simply run:

$ ./_includes/doc/refresh-doc

DNS Configuration

roboptim.net is currently handled by thomas-moulard@ using Google Domains. Configuring directly the root record to point on GitHub IPs does not seem to work so Google Domains redirection is used instead.