Server Migration Notice (31/10/2026) — New SSH Host Keys (git.kb28.ch)
Following the server migration on 31/10/2026, the SSH host keys for git.kb28.ch have changed. If you encounter the REMOTE HOST IDENTIFICATION HAS CHANGED warning during git pull or git push, run the following command to directly replace the old key in your ~/.ssh/known_hosts file:
Official New SSH Key Fingerprints:
- ED25519:
SHA256:UrTJ+OdOKicPnL+6EgOHGlFSBm9KA+kBGMpKtoUBIOA
- ECDSA:
SHA256:qne+wTzSr8k5KIuEtXNYz9/LYed4eOMSmxzgMZ4g+KI
- RSA:
SHA256:eaVzvSUlo66pMayLMHL/cWg4zoPui3LmLOWKm0XX22g
When using rivet-typst 0.3.0 on the typst.app web editor it generates the warning "Unknown font family: ubuntu mono"
You can configure an alternative font using the config options
default-font-familyanditalic-font-familyFor example:
I do agree that putting Ubuntu Mono as the default is not ideal since it is not available on the web-app
Thanks! Explicitly setting the font resolves the warning.
Maybe
DejaVu Sans Monowould work better as the default font. It is available on the web-app and preinstalled on most Linux distributions. However I see that Ubuntu Mono probably looks better.Another option would be to set the default font to
default-font-family: ("Ubuntu Mono", "DejaVu Sans Mono"). This will still cause the warning. However it will make sure a Monospace font is used even when Ubuntu Mono is not installed.Anyway, thank you for this awesome package!