pi_coder/install_servers_and_pi_coder_extension.sh
dschlueter 1c773029b5 refactor: install.sh → install_servers_and_pi_coder_extension.sh umbenennen
Klarerer Name verhindert Verwechslung mit generischen install-Skripten.
Alle Referenzen in README.md und BEDIENUNGSANLEITUNG.md aktualisiert.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-05-29 21:32:03 +02:00

16 lines
577 B
Bash
Executable file

#!/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-coder-judge-extension.ts" ~/.pi/agent/extensions/pi-coder-judge-extension.ts
echo "Kopiert: pi-coder-judge-extension.ts → ~/.pi/agent/extensions/"
cp "$REPO/models.json" ~/.pi/agent/models.json
echo "Kopiert: models.json → ~/.pi/agent/"
echo ""
echo "Fertig. Bitte /reload in pi agent ausführen."