Add Linux support for scripts (#38)

* kill(1) on linux requires pid, fix script exiting * more fixes for kill(1) on linux * fix
google · Feb 1, 2024 · 7077e7d · 7077e7d
1 parent 7218e94
commit 7077e7d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/scripts/cli.sh b/scripts/cli.sh
@@ -1,2 +1,2 @@
-lsof -t -i:32123 | xargs kill && \
+(lsof -t -i:32123 | xargs kill) || true && \
 ibazel run //mesop/cli -- --path="mesop/mesop/example_index.py"
diff --git a/scripts/run_py_dev.sh b/scripts/run_py_dev.sh
@@ -1,2 +1,2 @@
-lsof -t -i:32123 | xargs kill && \
+(lsof -t -i:32123 | xargs kill) || true && \
 ibazel run //mesop/cli:dev_cli -- --path="mesop/mesop/example_index.py"
diff --git a/scripts/run_web_dev.sh b/scripts/run_web_dev.sh
@@ -1,2 +1,2 @@
-lsof -t -i:4200 | xargs kill && \
+(lsof -t -i:4200 | xargs kill) || true && \
 MESOP_SERVER_HOST="http://localhost:32123" ibazel run //mesop/web/src/app/dev:server