mirror of
https://github.com/web-arena-x/webarena.git
synced 2026-02-06 11:16:53 +00:00
Remove AMI creation section - will be handled separately
- Remove optional AMI creation instructions - Keep focus on essential frontend configuration - AMI creation will be handled by maintainers Co-authored-by: openhands <openhands@all-hands.dev>
This commit is contained in:
parent
d456695525
commit
d5bd6e6f18
@ -197,15 +197,6 @@ sudo sed -i 's|metis.lti.cs.cmu.edu:|18.208.187.221:|g' /home/ubuntu/openstreetm
|
||||
cd /home/ubuntu/openstreetmap-website/ && docker compose restart web
|
||||
```
|
||||
|
||||
#### Creating an Updated AMI (Optional)
|
||||
To help other users, you can create a new AMI with the fixed configuration:
|
||||
|
||||
1. After applying the frontend configuration above, stop your instance
|
||||
2. In AWS Console: EC2 → Instances → Select your instance → Actions → Image and templates → Create image
|
||||
- [AWS AMI Creation Guide](https://docs.aws.amazon.com/AWSEC2/latest/UserGuide/creating-an-ami-ebs.html)
|
||||
3. Name it something like "webarena-fixed-map-config-YYYY-MM-DD"
|
||||
4. Share the AMI ID with the WebArena community
|
||||
|
||||
If you wish to also set up all map backends, namely tile server, geocoding server and routing server, you have two options:
|
||||
|
||||
#### Option 1: Automated Backend Deployment (Recommended)
|
||||
|
||||
Loading…
Reference in New Issue
Block a user