lemma.pub / lemma
Blogging platform with advanced tools for arts and sciences.
6
Fork 1

Configure Feed

Select the types of activity you want to include in your feed.

Update instructions

lemma (Jun 9, 2026, 10:11 PM -0500) d43c5846 560f8144

+3
+3
CLAUDE.md
··· 59 59 | `app/` (frontend) | `AWS_PROFILE=localstack make -C infra update-local-site` | `AWS_PROFILE=production DOMAIN_NAME=lemma.pub make -C infra deploy-site` | 60 60 | `infra/api/` (Lambda code only) | `AWS_PROFILE=localstack make -C infra update-local-api` | `AWS_PROFILE=production make -C infra update-aws-api` | 61 61 | `infra/api/` (CloudFormation changes) | `AWS_PROFILE=localstack make -C infra create-local-api` | `AWS_PROFILE=production DOMAIN_NAME=lemma.pub make -C infra create-aws-api` | 62 + | `infra/api/` (both code + CloudFormation) | `AWS_PROFILE=localstack make -C infra create-local-api` | `AWS_PROFILE=production DOMAIN_NAME=lemma.pub make -C infra create-aws-api` and `AWS_PROFILE=production make -C infra update-aws-api` | 62 63 | Both frontend + API | `AWS_PROFILE=localstack make -C infra update-local` | `AWS_PROFILE=production DOMAIN_NAME=lemma.pub make -C infra deploy-site` and `AWS_PROFILE=production make -C infra update-aws-api` | 63 64 | `infra/indexer/` (code only) | `AWS_PROFILE=localstack make -C infra run-local-indexer` | `AWS_PROFILE=production make -C infra update-aws-indexer` | 64 65 | `infra/indexer/` (CloudFormation changes) | `AWS_PROFILE=localstack make -C infra deploy-local-indexer` | `AWS_PROFILE=production make -C infra deploy-aws-indexer` | ··· 68 69 | Run backfill | `AWS_PROFILE=localstack make -C infra run-local-backfill DIDS_FILE=~/Drive/dids.txt` | `AWS_PROFILE=production make -C infra run-aws-backfill DIDS_FILE=~/Drive/dids.txt` | 69 70 70 71 `DOMAIN_NAME=lemma.pub` is required for `deploy-site` and `create-aws-api` (sets `API_DID=did:web:lemma.pub` on the Lambda — omitting it resets `API_DID` to `did:web:localhost` and breaks all authenticated endpoints). Lambda-zip-only and indexer targets do not use it. 72 + 73 + `create-aws-api` only updates the CloudFormation stack (API Gateway resources). It does **not** deploy the Lambda zip. When `infra/api/src/` and `blog-api.yaml` both change, you must run both `create-aws-api` and `update-aws-api`. Skipping `update-aws-api` leaves the old Lambda code running, which returns 405 for any new routes even after the API Gateway resources are created. 71 74 72 75 The indexer is a separate long-running process — `update-local` does **not** cover it. Restart it separately whenever `infra/indexer/` changes. 73 76