[mod] tools:run
This commit is contained in:
parent
e73424e2f2
commit
54b94b1c58
1 changed files with 11 additions and 3 deletions
14
tools/run
14
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
|
cd build
|
||||||
web-server . 8888
|
python3 -m http.server ${port}
|
||||||
cd -
|
cd - > /dev/null
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue