1  #!/bin/bash
 2  set -eu
 3  script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )
 4  cd "$script_path/.."
 5  
 6  # Starts a local web-server that serves the contents of the `doc/` folder,
 7  # i.e. the web-version of `egui_demo_app`.
 8  
 9  echo "ensuring basic-http-server is installed…"
10  cargo install basic-http-server
11  
12  echo "starting server…"
13  echo "serving at http://localhost:8888"
14  
15  (cd docs && basic-http-server --addr 127.0.0.1:8888 .)
16  # (cd docs && python3 -m http.server 8888 --bind 127.0.0.1)