Website for the Eclipse Hawk project

Clone this repo:

Branches

  1. d8390f1 Use markdownextradata mkdocs plugin to unify stable and interim version numbers by Antonio García-Domínguez · 2 days ago master
  2. 61d9e0d Add MODELS 2019 time aware querying paper by Antonio García-Domínguez · 7 days ago
  3. e8bb563 List ports to be opened in Hawk server by Antonio García-Domínguez · 13 days ago
  4. 41a5d41 Rebuild website by Antonio García-Domínguez · 2 weeks ago
  5. 80dacb0 Do bump to 2.0.0 after org.hawk -> org.eclipse.hawk rename by Antonio García-Domínguez · 2 weeks ago

Hawk website

This repository hosts the MkDocs source code for the Eclipse Hawk website.

Development

To work on the website, go into the mkdocs folder and set up a Python 3 virtualenv environment and install the dependencies through pip:

virtualenv -p python3 env
pip install -r requirements.txt

The virtualenv environment will remain active until you terminate that console session. If you want to continue working on the website, you will need to reactivate the environment with:

source env/bin/activate

Once the virtualenv environment is activated and the project dependencies have been installed, you can start the built-in development server with:

mkdocs serve

Available extensions

The website has a number of useful Markdown extensions enabled:

Deployment

After a new version of the website is ready and before you push, make sure you build it with the build.sh script inside mkdocs.