mirror of
https://github.com/mfocko/blog.git
synced 2024-11-24 14:01: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
Matej Focko
f2d3c4246e
When displaying Mermaid diagrams they take the fonts from the Docusaurus config, since the order was different to the one in the CSS for code, it was different. Signed-off-by: Matej Focko <me@mfocko.xyz> |
||
|---|---|---|
| .github/workflows | ||
| algorithms | ||
| automata | ||
| blog | ||
| c | ||
| cpp | ||
| foundations | ||
| functional | ||
| src | ||
| static | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| .pre-commit-config.yaml | ||
| babel.config.js | ||
| 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.