dschlueter/pi_coder_2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

refactor: install_servers_and_pi_coder_extension.sh → deploy-pi-config.sh

Browse source 
Das Skript installiert keine Server, sondern deployt Konfigurationsdateien
(Extension, models.json, settings.json) nach ~/.pi/agent/. Der neue Name
beschreibt das korrekt und passt zum verb-noun.sh-Muster der anderen Skripte.
Alle Referenzen in README, BEDIENUNGSANLEITUNG und Tests aktualisiert.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
Dieter Schlüter 2026-06-15 05:55:58 +02:00
commit 9456863419
4 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

25
deploy-pi-config.sh Executable file
View file

@ -0,0 +1,25 @@
#!/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/"
# 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."