Pascal MichelandClaude Opus 5
ea278dc24f
- .claude/agents/planer.md - .claude/skills/plan-executer-pruefung/SKILL.md - .claude/workflows/plankritik.js - .claude/workflows/planung.js - .claude/workflows/pruefung.js - .claude/workflows/verbrauch.js - .claude/workflows/welle-mit-pruefung.js - .vault-tools/plan-kopie/LIESMICH.md - .vault-tools/plan-kopie/plan_zeichen.py - .vault-tools/plan-kopie/rot_nachweis.py - .vault-tools/trading-plattform-pruefung/LIESMICH.md - .vault-tools/trading-plattform-pruefung/abendkontrolle.py - … und 34 weitere Erzeugt vom PostToolUse-Hook .vault-tools/auto-push/auto_push.py. Co-Authored-By: Claude Opus 5 <[email protected]>
24 lines
1.4 KiB
Bash
24 lines
1.4 KiB
Bash
#!/bin/bash
|
|
# Dashboard-Neustart nach einem Einspielen, mit Tor 6b (liest das Dashboard die Geheimnisdatei unter PrivateUsers=yes?).
|
|
# Koordinator-Werkzeug, nicht fuers Repo. Pascals dauerhafte Freigabe gilt fuer genau diesen Neustart, nur ausserhalb der
|
|
# Handelszeit; das Skript verweigert, solange der Runner laeuft. Aufruf aus der PowerShell mit WSL_PW per WSLENV:
|
|
# wsl -d Debian -u claude -- bash /mnt/d/Claude/.vault-tools/trading-plattform-pruefung/dashboard_neustart.sh
|
|
set -u
|
|
[ -n "${WSL_PW:-}" ] || { echo "WSL_PW fehlt"; exit 20; }
|
|
S() { printf '%s\n' "$WSL_PW" | sudo -S -p '' "$@"; }
|
|
if systemctl is-active --quiet trading-paper.service; then echo "Runner laeuft - kein Neustart"; exit 21; fi
|
|
date
|
|
S systemctl restart trading-dashboard.service || exit 22
|
|
sleep 8
|
|
systemctl is-active trading-dashboard.service
|
|
systemctl show trading-dashboard.service --property=NRestarts,ActiveEnterTimestamp
|
|
journalctl -u trading-dashboard.service --since "-1min" --no-pager | tail -10 | sed -E 's/[0-9]{6,}/######/g'
|
|
if journalctl -u trading-dashboard.service --since "-1min" --no-pager | grep -E "kann sie aber nicht lesen|PermissionError|secrets.toml|Traceback"; then
|
|
echo "TOR 6b ZU"; exit 27
|
|
fi
|
|
echo "Tor 6b offen"
|
|
code=$(curl -s -o /dev/null -w "%{http_code}" -H "Host: 127.0.0.1:8144" http://127.0.0.1:8144/api/gesund)
|
|
echo "api/gesund: $code"
|
|
code=$(curl -s -o /dev/null -w "%{http_code}" -H "Host: 127.0.0.1:8144" http://127.0.0.1:8144/)
|
|
echo "Oberflaeche /: $code"
|