Skip to content

Latest commit

 

History

History
103 lines (61 loc) · 2.38 KB

BUILDING.md

File metadata and controls

103 lines (61 loc) · 2.38 KB

Building this lab from your own repository

You can interact with the lab using the published repository and GitHub Pages, but you are welcome to welcome to fork the repository and adapt it under the terms of the license.

This file describes how to configure your copy and build the web version for GitHub Pages on your own device or via GitHub Actions.

Docusaurus

This website is built using Docusaurus 2, a modern static website generator.

Prerequisites for local builds

Follow the directions in the Docusaurus documentation.

If you fork or clone this repository, you will need to edit the file docusaurus.config.js for successful builds.

Local development

Launch a local server and see edits to the content in the docs\ folder as you go with:

npm run start

Build for deployment

Create a hostable version of the pages with:

npm run build

This command generates static content into the build directory and can be served using any static contents hosting service.

This respository is also set up to build the site to GitHub Pages with GitHub Actions. See the "Actions" tab for the actual scripts used.

Deployment

Using SSH:

$ USE_SSH=true yarn deploy

Not using SSH:

$ GIT_USER=<Your GitHub username> 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.

Deploy with GitHub Actions

  • Enable GitHub pages for the site. Configure to deploy from branch "gh-pages"

  • Edit docusaurus.config.js

Building the Lab Webpages

TODO

Docs published on GitHub Pages

Docs are published on GitHub Pages

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=<Your GitHub username> 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.