#!/bin/bash # Startet eine Test-GNOME-Shell mit der Extension. # dev/nested.sh Fenster auf dem Desktop (zum Selbst-Ausprobieren) # dev/nested.sh headless unsichtbar; echte Maus/Tastatur lassen sich gefahrlos simulieren # Eigene Settings (keyfile) und eigenes Datenverzeichnis, die echte Session bleibt unberührt. set -e ROOT=$(cd "$(dirname "$0")/.." && pwd) SCRATCH=${SCRATCH:-/tmp/desktop-app-nested} mkdir -p "$SCRATCH/data/gnome-shell/extensions" "$SCRATCH/config/glib-2.0/settings" ln -sfn "$ROOT/desktop@marha.de" "$SCRATCH/data/gnome-shell/extensions/desktop@marha.de" ln -sfn "$ROOT/dev/unsafe@dev" "$SCRATCH/data/gnome-shell/extensions/unsafe@dev" cat > "$SCRATCH/config/glib-2.0/settings/keyfile" < '$SCRATCH/bus'; echo \$\$ > '$SCRATCH/pid'; exec gnome-shell $ARGS"