Spaces:
Running
Running
muralipala1504 commited on
Commit ·
80bd2d9
1
Parent(s): c4bd131
feat: add start/stop scripts with GROQ env and PID management
Browse files
start.sh
ADDED
|
@@ -0,0 +1,11 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/bin/bash
|
| 2 |
+
cd "$(dirname "$0")"
|
| 3 |
+
source ~/.bashrc
|
| 4 |
+
if [ -f deepshell.pid ]; then
|
| 5 |
+
echo "DeepShell already running (PID $(cat deepshell.pid))"
|
| 6 |
+
exit 1
|
| 7 |
+
fi
|
| 8 |
+
nohup python run_deepshell.py > deepshell.log 2>&1 &
|
| 9 |
+
echo $! > deepshell.pid
|
| 10 |
+
echo "DeepShell started (PID $(cat deepshell.pid))"
|
| 11 |
+
echo "Logs: tail -f $(pwd)/deepshell.log"
|
stop.sh
ADDED
|
@@ -0,0 +1,10 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#!/bin/bash
|
| 2 |
+
cd "$(dirname "$0")"
|
| 3 |
+
if [ ! -f deepshell.pid ]; then
|
| 4 |
+
echo "DeepShell not running"
|
| 5 |
+
exit 1
|
| 6 |
+
fi
|
| 7 |
+
PID=$(cat deepshell.pid)
|
| 8 |
+
fuser -k 8001/tcp 2>/dev/null
|
| 9 |
+
rm -f deepshell.pid
|
| 10 |
+
echo "DeepShell stopped (PID $PID)"
|