tlakh

Go to file

Florian Obser 087094cf06 Make it clear that ping writes to stdout and stderr.

It does not care that it's the terminal. From otto.

2023-02-19 11:21:02 +01:00

algorithm-roll

Initial commit

2022-12-02 15:51:07 +01:00

fonts

Use source-code and source serif fonts.

2022-12-04 12:53:02 +01:00

fuzzing-ping

Provide links to C file and diff for download.

2022-12-02 17:11:25 +01:00

llgal

Static photo albums with llgal

2023-01-29 11:46:34 +01:00

.gitignore

Ignore emacs backup files.

2022-12-04 13:26:52 +01:00

50x.org

Set date on error documents to fill in Publish: line.

2023-01-01 10:31:41 +01:00

404.org

Set date on error documents to fill in Publish: line.

2023-01-01 10:31:41 +01:00

algorithm-roll.org

Initial commit

2022-12-02 15:51:07 +01:00

custom.css

Make src containers wider.

2023-02-19 09:55:37 +01:00

favicon.ico

add empty favicon

2022-12-02 18:21:15 +01:00

fun-with-org-mode-agenda-views.org

typo

2022-12-28 14:52:53 +01:00

fuzzing-ping.org

typo; from kurtm

2022-12-02 18:33:57 +01:00

gitea-post-receive-hook

We move the site to a different root.

2023-01-09 17:55:24 +01:00

htmlize.css

Initial commit

2022-12-02 15:51:07 +01:00

htmlize.min.css

Minimize css.

2022-12-02 16:44:56 +01:00

index.org

Hook up move fast...

2023-02-02 09:04:30 +01:00

llgal.org

Use non-deprecated frames option.

2023-01-29 13:01:41 +01:00

Makefile

Makefile and post-receive hook for deploying.

2022-12-04 12:50:46 +01:00

move_fast_and_break_things.org

Do not use hostnames to serialize upgrade of DNS servers.

2023-02-02 13:25:45 +01:00

nsd-unbound-update.org

Initial commit

2022-12-02 15:51:07 +01:00

ports-hints.org

Initial commit

2022-12-02 15:51:07 +01:00

privsep.org

Make it clear that ping writes to stdout and stderr.

2023-02-19 11:21:02 +01:00

publish.el

Fix directory root here as well.

2023-01-09 17:58:21 +01:00

secrets-manager.org

Initial commit

2022-12-02 15:51:07 +01:00

simple.min.css

To not edit simplecss, add a custom.css instead

2022-12-04 12:51:12 +01:00

VerifyHostKeyDNS.org

Add epilogue section

2023-01-15 09:14:01 +01:00