2020-11-05 15:16:29 +00:00
|
|
|
# Website
|
2019-05-10 12:07:16 +01:00
|
|
|
|
2020-11-05 15:16:29 +00:00
|
|
|
This website is built using [Docusaurus 2](https://v2.docusaurus.io/), a modern static website generator.
|
2019-05-10 12:07:16 +01:00
|
|
|
|
2020-11-05 15:16:29 +00:00
|
|
|
## Installation
|
2019-05-10 12:07:16 +01:00
|
|
|
|
2020-11-05 15:16:29 +00:00
|
|
|
```console
|
2024-01-20 20:51:34 +01:00
|
|
|
npm install
|
2019-05-10 12:07:16 +01:00
|
|
|
```
|
|
|
|
|
2020-11-05 15:16:29 +00:00
|
|
|
## Local Development
|
|
|
|
|
|
|
|
```console
|
2024-01-20 20:51:34 +01:00
|
|
|
npm start
|
2020-11-05 15:16:29 +00:00
|
|
|
```
|
|
|
|
|
|
|
|
This command starts a local development server and open up a browser window. Most changes are reflected live without having to restart the server.
|
|
|
|
|
|
|
|
## Build
|
|
|
|
|
|
|
|
```console
|
2024-01-20 20:51:34 +01:00
|
|
|
npm build
|
2020-11-05 15:16:29 +00:00
|
|
|
```
|
|
|
|
|
|
|
|
This command generates static content into the `build` directory and can be served using any static contents hosting service.
|
|
|
|
|
|
|
|
## Deployment
|
|
|
|
|
|
|
|
```console
|
2024-01-20 20:51:34 +01:00
|
|
|
GIT_USER=<Your GitHub username> USE_SSH=true npm deploy
|
2020-11-05 15:16:29 +00:00
|
|
|
```
|
|
|
|
|
|
|
|
If you are using GitHub pages for hosting, this command is a convenient way to build the website and push to the `gh-pages` branch.
|