Website

PINTS website (https://www.cs.ox.ac.uk/projects/PINTS/)

Install

• Install Hugo
• Clone the repo recursively, e.g. $ git clone [email protected]:pints-team/website.git --recursive
• Run a test build: $ hugo

Testing

$ hugo server

Deployment

./deploy.sh

This requires you to have set up permissions to update the website from your local account (does your local username need to be your CS one?)