#!/usr/bin/env bash
## args
if [ $# -ge 1 ] ; then port=$1 ; else port=8888 ; fi
## exec
cd build
python3 -m http.server ${port}
cd - > /dev/null