mirror of
https://github.com/NousResearch/hermes-agent.git
synced 2026-07-09 13:21:42 +00:00
2bd9c9b881
hermes --tui launches the native OpenTUI engine (Bun) when HERMES_TUI_ENGINE=opentui (env) or display.tui_engine=opentui (config); Ink stays the default and the shipping path is untouched. - _resolve_tui_engine() (env > config > ink); refuses opentui on Windows/Termux (no Bun) -> falls back to ink with a notice. - _make_opentui_argv() -> [bun, src/entry.real.tsx] (no build step). - _bun_bin() with HERMES_BUN override. - Branch at top of _make_tui_argv BEFORE _ensure_tui_node (Bun-only host must not bootstrap Node). - Gate _launch_tui NODE_OPTIONS/--max-old-space-size on engine==ink (Bun is JSC; the V8 flag errors/ignores). Verified end-to-end via tmux: real hermes --tui -> Bun -> OpenTUI -> real Python gateway streamed a real reply. No-flag default still ink.
66 lines
2.5 KiB
Bash
Executable file
66 lines
2.5 KiB
Bash
Executable file
#!/usr/bin/env bash
|
|
# GitHub environment detection helper for Hermes Agent skills.
|
|
#
|
|
# Usage (via terminal tool):
|
|
# source skills/github/github-auth/scripts/gh-env.sh
|
|
#
|
|
# After sourcing, these variables are set:
|
|
# GH_AUTH_METHOD - "gh", "curl", or "none"
|
|
# GITHUB_TOKEN - personal access token (set if method is "curl")
|
|
# GH_USER - GitHub username
|
|
# GH_OWNER - repo owner (only if inside a git repo with a github remote)
|
|
# GH_REPO - repo name (only if inside a git repo with a github remote)
|
|
# GH_OWNER_REPO - owner/repo (only if inside a git repo with a github remote)
|
|
|
|
# --- Auth detection ---
|
|
|
|
GH_AUTH_METHOD="none"
|
|
GITHUB_TOKEN="${GITHUB_TOKEN:-}"
|
|
GH_USER=""
|
|
|
|
if command -v gh &>/dev/null && gh auth status &>/dev/null 2>&1; then
|
|
GH_AUTH_METHOD="gh"
|
|
GH_USER=$(gh api user --jq '.login' 2>/dev/null)
|
|
elif [ -n "$GITHUB_TOKEN" ]; then
|
|
GH_AUTH_METHOD="curl"
|
|
elif [ -f "$HOME/.hermes/.env" ] && grep -q "^GITHUB_TOKEN=" "$HOME/.hermes/.env" 2>/dev/null; then
|
|
GITHUB_TOKEN=$(grep "^GITHUB_TOKEN=" "$HOME/.hermes/.env" | head -1 | cut -d= -f2 | tr -d '\n\r')
|
|
if [ -n "$GITHUB_TOKEN" ]; then
|
|
GH_AUTH_METHOD="curl"
|
|
fi
|
|
elif [ -f "$HOME/.git-credentials" ] && grep -q "github.com" "$HOME/.git-credentials" 2>/dev/null; then
|
|
GITHUB_TOKEN=$(grep "github.com" "$HOME/.git-credentials" | head -1 | sed 's|https://[^:]*:\([^@]*\)@.*|\1|')
|
|
if [ -n "$GITHUB_TOKEN" ]; then
|
|
GH_AUTH_METHOD="curl"
|
|
fi
|
|
fi
|
|
|
|
# Resolve username for curl method
|
|
if [ "$GH_AUTH_METHOD" = "curl" ] && [ -z "$GH_USER" ]; then
|
|
GH_USER=$(curl -s -H "Authorization: token $GITHUB_TOKEN" \
|
|
https://api.github.com/user 2>/dev/null \
|
|
| python3 -c "import sys,json; print(json.load(sys.stdin).get('login',''))" 2>/dev/null)
|
|
fi
|
|
|
|
# --- Repo detection (if inside a git repo with a GitHub remote) ---
|
|
|
|
GH_OWNER=""
|
|
GH_REPO=""
|
|
GH_OWNER_REPO=""
|
|
|
|
_remote_url=$(git remote get-url origin 2>/dev/null)
|
|
if [ -n "$_remote_url" ] && echo "$_remote_url" | grep -q "github.com"; then
|
|
GH_OWNER_REPO=$(echo "$_remote_url" | sed -E 's|.*github\.com[:/]||; s|\.git$||')
|
|
GH_OWNER=$(echo "$GH_OWNER_REPO" | cut -d/ -f1)
|
|
GH_REPO=$(echo "$GH_OWNER_REPO" | cut -d/ -f2)
|
|
fi
|
|
unset _remote_url
|
|
|
|
# --- Summary ---
|
|
|
|
echo "GitHub Auth: $GH_AUTH_METHOD"
|
|
[ -n "$GH_USER" ] && echo "User: $GH_USER"
|
|
[ -n "$GH_OWNER_REPO" ] && echo "Repo: $GH_OWNER_REPO"
|
|
[ "$GH_AUTH_METHOD" = "none" ] && echo "⚠ Not authenticated — see github-auth skill"
|
|
|
|
export GH_AUTH_METHOD GITHUB_TOKEN GH_USER GH_OWNER GH_REPO GH_OWNER_REPO
|