dschlueter
40b447f3ce
Name beschreibt den Zweck (Coding-Extension für pi agent), nicht die interne Coder/Judge-Implementierung. Alle Referenzen in deploy-pi-config.sh, README, Tests und Helpers aktualisiert. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
25 lines
993 B
Bash
Executable file
25 lines
993 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-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."
|