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 40d487270b
chore: upgrade
Signed-off-by: Matej Focko <me@mfocko.xyz>
2024-01-22 23:38:32 +01:00
.github/workflows ci: enable on ‹trunk› and merging to ‹trunk› 2024-01-06 17:20:55 +01:00
algorithms algorithms(bf-to-astar): fix typos 2024-01-06 17:28:16 +01:00
automata feat: don't reference FI MU subjects by their codes 2023-11-24 16:30:23 +01:00
blog chore: run pre-commit 2024-01-03 19:38:35 +01:00
c feat: don't reference FI MU subjects by their codes 2023-11-24 16:30:23 +01:00
cpp cpp(placeholders): fix the static analysis 2024-01-06 21:12:33 +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 chore: run pre-commit 2024-01-03 19:38:35 +01:00
static cpp(placeholders): fix the static analysis 2024-01-06 21:12:33 +01:00
.gitignore chore: run pre-commit 2024-01-03 19:38:35 +01:00
.gitlab-ci.yml fix: build 2023-09-06 18:37:15 +02:00
.pre-commit-config.yaml chore: update pre-commit 2024-01-03 19:31:11 +01:00
babel.config.js chore: transfer all KBs to single one 2022-11-05 15:25:15 +01:00
docusaurus.config.js chore: run pre-commit 2024-01-03 19:38:35 +01:00
makefile ci: drop different hosts 2023-09-07 20:12:55 +02:00
package.json chore: upgrade 2024-01-22 23:38:32 +01:00
README.md chore: transfer all KBs to single one 2022-11-05 15:25:15 +01:00
regenerate-archives.sh chore: run pre-commit 2024-01-03 19:38:35 +01: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 2024-01-22 23:38:32 +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.