🐛 📺 fixes dev server

This commit is contained in:
2026-05-20 14:40:00 +02:00
parent 139b1590ce
commit 7d6240e28a
3 changed files with 59 additions and 34 deletions
+7 -5
View File
@@ -9,15 +9,17 @@ set -eo pipefail # this can be harmful, see https://www.youtube.com/watch?v=4Jo3
# depends on
declare -r server='node_modules/.bin/web-dev-server'
declare -r lint='bs/lint'
declare -r index='index.html'
declare -r server_config='web-dev-server.config.js'
help(){
if ! isHelp "${@}"; then return 0; fi
echoReadmeInfo
cat <<-EOF
Options:
./src Starts the development server (default)
./dist Starts the production server
Defaults:
See server config file: '$server_config'
EOF
$server --help
exit 0
@@ -26,12 +28,12 @@ main(){
help "${@}"
local -r target="${1:-./src}" # ./src or ./dist
if [[ "$target" == './dist' ]]; then
if [[ "$target" =~ 'dist' ]]; then
# console warns because of config file, use npx serve?
$server --root-dir "$target" --app-index $index --open
$server "${@}"
else
$lint --watch --preserveWatchOutput &
$server &
$server "${@}" &
wait
fi
}