My blog containing blog posts (duh…) and additional materials from courses at fi in which I've been involved in one way or another
Find a file
Matej Focko d16eaafd97
algorithms(bf-to-astar): add intro
Signed-off-by: Matej Focko <me@mfocko.xyz>
2024-01-03 15:06:12 +01:00
.github/workflows ci: drop different hosts 2023-09-07 20:12:55 +02:00
algorithms algorithms(bf-to-astar): add intro 2024-01-03 15:06:12 +01:00
automata feat: don't reference FI MU subjects by their codes 2023-11-24 16:30:23 +01:00
blog blog: start using overrides for authors 2023-09-07 17:45:55 +02:00
c feat: don't reference FI MU subjects by their codes 2023-11-24 16:30:23 +01:00
cpp feat(cpp): add placeholders 2023-11-24 18:27:59 +01:00
foundations feat: don't reference FI MU subjects by their codes 2023-11-24 16:30:23 +01:00
functional feat: don't reference FI MU subjects by their codes 2023-11-24 16:30:23 +01:00
src feat(talks): add QEcamp23 2023-11-29 16:14:42 +01:00
static algorithms(bf-to-astar): add intro 2024-01-03 15:06:12 +01:00
.gitignore chore: update gitignore 2023-09-07 17:45:28 +02:00
.gitlab-ci.yml fix: build 2023-09-06 18:37:15 +02:00
.pre-commit-config.yaml chore: transfer all KBs to single one 2022-11-05 15:25:15 +01:00
babel.config.js chore: transfer all KBs to single one 2022-11-05 15:25:15 +01:00
docusaurus.config.js feat: use github and dracula themes 2023-11-25 21:49:46 +01:00
makefile ci: drop different hosts 2023-09-07 20:12:55 +02:00
package.json feat: make the new names backward-compatible 2023-11-24 16:30:23 +01:00
README.md chore: transfer all KBs to single one 2022-11-05 15:25:15 +01:00
regenerate-archives.sh ci: add GH Actions 2023-09-07 20:02:15 +02:00
regenerate-dots.sh revert: "fix: switch graphviz to pngs as it is unusable now" 2023-09-07 17:59:11 +02:00
sidebars.js chore: transfer all KBs to single one 2022-11-05 15:25:15 +01:00
yarn.lock chore: upgrade deps 2023-12-28 18:40:58 +01:00

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.