Files
desktop-planer/dev/restart.sh
2026-09-19 20:59:47 +02:00

22 lines
1.1 KiB
Bash
Executable File

#!/bin/bash
# Test-Shell neu starten und Fehler der Extension zeigen: dev/restart.sh [headless]
DIR=$(cd "$(dirname "$0")" && pwd)
"$DIR/stop.sh"
pgrep -f "^gnome-shell --(nested|headless)" | xargs -r kill 2>/dev/null
rm -rf /tmp/desktop-app-nested/data/desktop-app
# Mit SYNC_URL bekommt die Test-Shell einen Server-Zugang (Token "test", alle 2 Sekunden)
if [ -n "$SYNC_URL" ]; then
mkdir -p /tmp/desktop-app-nested/data/desktop-app
echo "{\"url\": \"$SYNC_URL\", \"token\": \"test\", \"interval\": 2}" > /tmp/desktop-app-nested/data/desktop-app/sync.json
fi
sleep 2
(nohup "$DIR/nested.sh" "$1" > /tmp/desktop-app-nested.log 2>&1 &)
sleep 9
grep -n "desktop@marha\|JS ERROR" /tmp/desktop-app-nested.log | head -30
# Headless: Overview weg, virtuelle Eingabegeräte anlegen und vorwärmen (erste Events gehen sonst verloren)
if [ "$1" = headless ]; then
"$DIR/eval.sh" 'Main.overview.hide(); "overview hidden"' >/dev/null
"$DIR/input.sh" move 960 540; sleep 0.5; "$DIR/input.sh" move 961 541; sleep 0.5
fi
"$DIR/eval.sh" 'JSON.stringify([...Main.extensionManager._extensions].map(([k,v]) => [k, v.state, v.error]))'