29 lines
547 B
Bash
Executable file
29 lines
547 B
Bash
Executable file
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
PROJECT_DIR="$(cd "$(dirname "$0")" && pwd)"
|
|
PID_FILE="$PROJECT_DIR/.dev.pid"
|
|
cd "$PROJECT_DIR"
|
|
|
|
GREEN='\033[0;32m'
|
|
RED='\033[0;31m'
|
|
YELLOW='\033[1;33m'
|
|
NC='\033[0m'
|
|
|
|
if [ ! -f "$PID_FILE" ]; then
|
|
echo -e "${RED}Dev-Umgebung läuft nicht.${NC}"
|
|
exit 1
|
|
fi
|
|
|
|
while read -r PID; do
|
|
if kill "$PID" 2>/dev/null; then
|
|
echo -e " ${YELLOW}▸${NC} Prozess $PID gestoppt"
|
|
fi
|
|
done < <(tr ' ' '\n' < "$PID_FILE")
|
|
|
|
rm -f "$PID_FILE"
|
|
|
|
echo ""
|
|
echo -e "${GREEN}Dev-Umgebung gestoppt.${NC}"
|
|
echo ""
|