From 54b94b1c585d9026764dea76b82e92c7f238409b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20Fra=C3=9F?=
 <christian.frass@dielinke-glauchau.de>
Date: Mon, 22 Apr 2024 10:19:47 +0200
Subject: [PATCH] [mod] tools:run

---
 tools/run | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

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
+