Hi all 👋🏻 I've got an edge case I wanted to present w/ starting up the OSRM server in a GitHub codespace
If I accidentally (😭) run up.routing.start_osrm_server('sul', 'south-america_brazil', 'foot'); without running the code below first
$ mkdir -p ~/data/osrm/
$ cd ~/data/osrm
$ wget https://download.geofabrik.de/south-america/brazil/sul-latest.osm.pbf
I get the output Server was started successfully and it even looks like the server starts at port 5000. However, I don't see all the output from docker in the jupyter notebook.
To get the server to really start successfully, I had to re-run the not just the code chunk above in the terminal, but I also had to do a full rebuild of the container in codespaces. After that rebuild, I had a successful server start in approx 2.5 minutes.
CC: @bitsandbricks, @Claudio9701