mirror of
https://github.com/mfocko/blog.git
synced 2025-12-07 23:08:55 +01:00
My blog containing blog posts (duh…) and additional materials from courses at fi in which I've been involved in one way or another
|
Some checks are pending
Test deployment / test-deploy (push) Waiting to run
Signed-off-by: Matej Focko <me@mfocko.xyz> |
||
|---|---|---|
| .github/workflows | ||
| algorithms | ||
| automata | ||
| blog | ||
| c | ||
| cpp | ||
| foundations | ||
| functional | ||
| src | ||
| static | ||
| .cz.toml | ||
| .envrc | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| .pre-commit-config.yaml | ||
| babel.config.js | ||
| devenv.lock | ||
| devenv.nix | ||
| devenv.yaml | ||
| docusaurus.config.js | ||
| makefile | ||
| package.json | ||
| README.md | ||
| regenerate-archives.sh | ||
| regenerate-dots.sh | ||
| sidebars.js | ||
| yarn.lock | ||
Website
This website is built using Docusaurus 2, 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=<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.