https://github.com/gplint/gplint.github.io
https://github.com/gplint/gplint.github.io
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/gplint/gplint.github.io
- Owner: gplint
- Created: 2024-11-24T20:10:44.000Z (12 months ago)
- Default Branch: main
- Last Pushed: 2025-06-28T10:33:37.000Z (4 months ago)
- Last Synced: 2025-06-28T11:32:54.194Z (4 months ago)
- Language: TypeScript
- Homepage: https://gplint.github.io/
- Size: 2.67 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Funding: .github/FUNDING.yml
Awesome Lists containing this project
README
# Website
This website is built using [Docusaurus](https://docusaurus.io/), a modern static website generator.
### Installation
```
$ yarn
```
### Local Development
```
$ yarn start
```
This command starts a local development server and opens up a browser window. Most changes are reflected live without having to restart the server.
### Build
```
$ yarn build
```
This command generates static content into the `build` directory and can be served using any static contents hosting service.
### Deployment
Using SSH:
```
$ USE_SSH=true yarn deploy
```
Not using SSH:
```
$ GIT_USER= yarn deploy
```
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.