公開日記にヘッダーを追加した
投稿日: 2022-08-19 金
fniessen/org-html-themes: How to export Org mode files into awesome HTML in 2 minutes の readtheorg というテーマを使っていて、 既に完成されているページにヘッダーを追加するのは大変だった(1時間半もかかった)。
ヘッダーを作ることができたのでこのサイトに個別のページを作る準備が一つ整った(一生作らないかもしれないけど)。 ヘッダーがあれば個別ページから元のページにどうやって戻ればいいか分かるようにできるだろう。