diff --git a/container/Dockerfile b/container/Dockerfile index e54ebea..7b757b9 100644 --- a/container/Dockerfile +++ b/container/Dockerfile @@ -31,6 +31,7 @@ RUN apt-get update --fix-missing && apt-get install -y --no-install-recommends \ zip \ unzip \ strace \ + ripgrep \ && curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg \ | dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg \ && echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" \