Source code for my personal website.

Adapted from Stephen Diehl's hakyll-bootstrap.

To build:

stack build
stack exec generator rebuild

Deployment

The site is automatically built and deployed via GitHub Actions on push to master. The workflow requires the following secrets to be configured in the repo settings (Settings > Secrets and variables > Actions):

• DEPLOY_HOST — hostname or IP of the deployment server
• DEPLOY_USER — SSH username on the deployment server
• DEPLOY_SSH_KEY — private SSH key authorized on the deployment server

To generate a dedicated deploy key:

ssh-keygen -t ed25519 -f deploy_key -N ""

Then add the contents of deploy_key.pub to ~/.ssh/authorized_keys on the server, and paste the contents of deploy_key into the DEPLOY_SSH_KEY secret.