| 1 | # Config for the local Docker instance started by deploy/dev.sh. |
| 2 | # |
| 3 | # Committed on purpose (unlike deploy/anvil.toml, which is gitignored because it |
| 4 | # holds production's deploy secret): nothing here is sensitive, and a working |
| 5 | # local instance should be one command away. |
| 6 | |
| 7 | data_dir = "/data" |
| 8 | |
| 9 | [http] |
| 10 | # Inside the container; deploy/dev.sh publishes it to 127.0.0.1 on the host. |
| 11 | listen = "0.0.0.0:3000" |
| 12 | # What the browser sees. dev.sh also passes ANVIL_BASE_URL, which wins — so a |
| 13 | # differently named instance (ANVIL_DEV_NAME=anvil2) still gets correct links. |
| 14 | base_url = "https://anvil.localhost" |
| 15 | |
| 16 | # Single sign-on against the local instance of login.richardscollin.com |
| 17 | # (../login-richardscollin, `portless` → https://login.localhost). Register the |
| 18 | # client there first and pass ANVIL_OIDC_CLIENT_SECRET to deploy/dev.sh — see |
| 19 | # docs/oidc.md. Until then the sign-in button is there but the provider is not, |
| 20 | # so use a password. |
| 21 | [oidc] |
| 22 | issuer = "https://login.localhost" |
| 23 | client_id = "anvil" |
| 24 | |
| 25 | [ssh] |
| 26 | enabled = true |
| 27 | listen = "0.0.0.0:2222" |
| 28 | # The published host port, i.e. dev.sh's $SSH_PORT (default: web port + 1). |
| 29 | # portless proxies HTTP only, so SSH clone URLs point straight at localhost. |
| 30 | clone_host = "localhost" |
| 31 | clone_port = 20641 |
| 32 | clone_user = "git" |
| 33 | |
| 34 | [ci] |
| 35 | # The job container is a sibling on the host's Docker daemon, as in production. |
| 36 | memory_mb = 2048 |
| 37 | cpus = 2.0 |
| 38 | timeout_secs = 600 |
| 39 | |
| 40 | [periodic] |
| 41 | # Local instances are small; scanning every 10 minutes keeps language stats and |
| 42 | # preview images fresh while you poke at things. |
| 43 | language_detection_interval_secs = 600 |
| 44 | preview_image_interval_secs = 600 |
| 45 | disk_usage_interval_secs = 600 |