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 5e0cfc567b
feat: clean out footer
Signed-off-by: Matej Focko <xfocko@fi.muni.cz>
2023-07-16 01:09:27 +02:00
blog blog(aoc-2022): add finished calendar 2023-07-08 11:53:40 +02:00
ib002 ib002(rb-trees): add “discourse” on the rules 2023-06-10 18:04:33 +02:00
ib015 chore: update slugs of intro pages 2022-11-05 22:46:51 +01:00
ib110 chore: update slugs of intro pages 2022-11-05 22:46:51 +01:00
ib111 chore: add ib111 2022-11-05 22:47:35 +01:00
pb071 pb071(pexam): add ‹garbage_collect› 2023-05-08 00:14:08 +02:00
pb161 fix(pb161): update the environment 2023-02-18 00:30:57 +01:00
src feat: add mastodon links 2023-07-13 00:11:08 +02:00
static blog(aoc-2022): add finished calendar 2023-07-08 11:53:40 +02:00
.gitignore chore: add SVGs to gitignore 2023-02-04 17:55:23 +01:00
.gitlab-ci.yml ci: fix deps to be in array 2023-07-08 12:25:28 +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: clean out footer 2023-07-16 01:09:27 +02:00
makefile chore: don't open browser when running locally 2023-01-01 22:42:16 +01:00
package.json chore: update dependencies 2023-07-15 11:51:15 +02:00
README.md chore: transfer all KBs to single one 2022-11-05 15:25:15 +01:00
regenerate-dots.sh chore(svg): generate light/dark mode DOTs 2023-02-04 17:54:15 +01:00
regenerate-zips.sh ci: automate deployment 2022-11-27 00:20:16 +01:00
sidebars.js chore: transfer all KBs to single one 2022-11-05 15:25:15 +01:00
yarn.lock chore: update dependencies 2023-07-15 11:51:15 +02: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.