aarnio.dev

Personal website.

Development

Run the development server to preview the site locally. This mimics the production behavior where posts are served from the root.

python3 support/dev-server.py

The server runs at http://localhost:8080.

Setup

1. Clone the repository
2. (Optional) Setup pre-commit hook: ./support/setup-pre-commit.sh
   • This automatically generates RSS feed and updates posts list on every commit
   • If not using the hook, manually run:
     • python3 support/gen-rss.py
     • python3 support/update-posts-list.py

GitHub Pages Setup

1. Go to repository Settings → Pages
2. Under "Source", select "GitHub Actions"
3. The site will deploy automatically on push to main
4. Custom domain aarnio.dev is configured via CNAME file

RSS Feed and Posts List

Both the RSS feed (public/feed.xml) and the posts list in HTML files are generated deterministically from post HTML files. Each post must include a date meta tag:

<meta name="date" content="2024-01-15" />

The GitHub Actions workflow verifies that generated files match the committed versions on every push. Posts are automatically sorted by date (newest first) in the lists.