which box is bot

This commit is contained in:
2026-01-15 19:09:14 -05:00
parent 980ebe8315
commit 5398165072

View File

@@ -38,7 +38,7 @@ sync_one() {
post_process() {
echo "==> Post-processing bundled extensions"
local inx="$EXT_DIR/botbox3000/botbox.inx"
local inx="$EXT_DIR/botbox3000/boxbot.inx"
if [[ ! -f "$inx" ]]; then
echo "ERROR: expected file not found: $inx"
exit 1