| 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 | [ssh] |
| 17 | enabled = true |
| 18 | listen = "0.0.0.0:2222" |
| 19 | # The published host port, i.e. dev.sh's $SSH_PORT (default: web port + 1). |
| 20 | # portless proxies HTTP only, so SSH clone URLs point straight at localhost. |
| 21 | clone_host = "localhost" |
| 22 | clone_port = 20641 |
| 23 | clone_user = "git" |
| 24 | |
| 25 | [ci] |
| 26 | # The job container is a sibling on the host's Docker daemon, as in production. |
| 27 | memory_mb = 2048 |
| 28 | cpus = 2.0 |
| 29 | timeout_secs = 600 |
| 30 | |
| 31 | [periodic] |
| 32 | # Local instances are small; scanning every 10 minutes keeps language stats and |
| 33 | # preview images fresh while you poke at things. |
| 34 | language_detection_interval_secs = 600 |
| 35 | preview_image_interval_secs = 600 |
| 36 | disk_usage_interval_secs = 600 |