Compare commits
1
Commits
287cfeff7c
..
main
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
f13043d315 |
@@ -62,15 +62,15 @@ PI_EXTENSIONS=(
|
||||
"$FRAMEWORK_DIR/plugins/pi-automaton-tools"
|
||||
)
|
||||
if command -v pi &>/dev/null; then
|
||||
INSTALLED_PI=true
|
||||
for ext in "${PI_EXTENSIONS[@]}"; do
|
||||
ext_name=$(basename "$ext")
|
||||
INSTALLED=$(pi list 2>/dev/null | grep -c "$ext_name" || true)
|
||||
if [ "$INSTALLED" -gt 0 ]; then
|
||||
FOUND=$(pi list 2>/dev/null | grep -c "$ext_name" || true)
|
||||
if [ "$FOUND" -gt 0 ]; then
|
||||
echo "Pi Dev: $ext_name already installed"
|
||||
else
|
||||
echo "Pi Dev: installing $ext_name..."
|
||||
pi install "$ext" 2>&1 | sed 's/^/ /'
|
||||
INSTALLED_PI=true
|
||||
echo "Pi Dev: $ext_name installed"
|
||||
fi
|
||||
done
|
||||
@@ -110,7 +110,7 @@ fi
|
||||
if ! $INSTALLED_OPENCODE && ! $INSTALLED_PI; then
|
||||
echo "No harness detected. To install a guard manually:"
|
||||
echo " OpenCode: add '\"plugin\": [\"$OPENCODE_SOURCE\"]' to ~/.config/opencode/opencode.json"
|
||||
echo " Pi Dev: pi install $PI_SOURCE"
|
||||
echo " Pi Dev: pi install $FRAMEWORK_DIR/plugins/automaton-guard-pi"
|
||||
echo ""
|
||||
echo "Without a pre-edit guard, git hooks (pre-commit + pre-push)"
|
||||
echo "provide enforcement at commit/push time instead."
|
||||
|
||||
Reference in New Issue
Block a user