Skip to content

Commit b217e40

Browse files
Add GitHub CLI installation to Dockerfile (#1286)
Co-authored-by: openhands <openhands@all-hands.dev>
1 parent f038f7c commit b217e40

File tree

1 file changed

+12
-0
lines changed
  • openhands-agent-server/openhands/agent_server/docker

1 file changed

+12
-0
lines changed

openhands-agent-server/openhands/agent_server/docker/Dockerfile

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -156,6 +156,18 @@ RUN set -eux; \
156156
RUN mkdir -p /etc/docker && \
157157
echo '{"mtu": 1450}' > /etc/docker/daemon.json
158158

159+
# --- GitHub CLI ---
160+
RUN set -eux; \
161+
mkdir -p -m 755 /etc/apt/keyrings; \
162+
wget -nv -O /etc/apt/keyrings/githubcli-archive-keyring.gpg \
163+
https://cli.github.com/packages/githubcli-archive-keyring.gpg; \
164+
chmod go+r /etc/apt/keyrings/githubcli-archive-keyring.gpg; \
165+
echo "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" \
166+
> /etc/apt/sources.list.d/github-cli.list; \
167+
apt-get update; \
168+
apt-get install -y gh; \
169+
apt-get clean; \
170+
rm -rf /var/lib/apt/lists/*
159171

160172
# --- VNC + Desktop + noVNC ---
161173
RUN set -eux; \

0 commit comments

Comments
 (0)