2021-08-24 19:26:45 +02:00
|
|
|
[tech.ingolf-wagner.de](https://tech.ingolf-wagner.de) source code.
|
2018-06-27 19:09:04 +02:00
|
|
|
|
2021-08-24 19:26:45 +02:00
|
|
|
```
|
2022-10-20 10:46:40 +02:00
|
|
|
nix run # to run local server
|
|
|
|
|
nix run ".#publish" # to publish site
|
2021-08-24 19:26:45 +02:00
|
|
|
```
|
