diff --git a/tools/run b/tools/run
index bc2bc74..2607599 100755
--- a/tools/run
+++ b/tools/run
@@ -1,5 +1,13 @@
-#!/usr/bin/env sh
+#!/usr/bin/env bash
+
+## args
+
+if [ $# -ge 1 ] ; then port=$1 ; else port=8888 ; fi
+
+
+## exec
 
 cd build
-web-server . 8888
-cd - 
+python3 -m http.server ${port}
+cd - > /dev/null
+