pi_coder_2/deploy-pi-config.sh

#!/usr/bin/env bash
# Kopiert die versionierten Dateien aus dem Repo nach ~/.pi/agent/.
# Nach jeder Änderung im Repo ausführen, damit pi agent die neue Version lädt.
set -euo pipefail
REPO="$(cd "$(dirname "$0")" && pwd)"

mkdir -p ~/.pi/agent/extensions

cp "$REPO/pi-coding-extension.ts" ~/.pi/agent/extensions/pi-coding-extension.ts
echo "Kopiert: pi-coding-extension.ts → ~/.pi/agent/extensions/"

cp "$REPO/models.json" ~/.pi/agent/models.json
echo "Kopiert: models.json → ~/.pi/agent/"

# settings.json deployen. pi beschreibt diese Datei zur Laufzeit (z.B. bei /model),
# daher vor dem Überschreiben sichern, damit lokale Einstellungen nicht verloren gehen.
if [ -f ~/.pi/agent/settings.json ]; then
  cp ~/.pi/agent/settings.json ~/.pi/agent/settings.json.bak
  echo "Backup: settings.json → settings.json.bak"
fi
cp "$REPO/settings.json" ~/.pi/agent/settings.json
echo "Kopiert: settings.json → ~/.pi/agent/"

echo ""
echo "Fertig. Bitte /reload in pi agent ausführen."