Skip to content

Commit 1fd9257

Browse files
committed
add ripgrep to the devcontainer
1 parent d4c78b4 commit 1fd9257

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docker/benchbase/devcontainer/Dockerfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ LABEL org.opencontainers.image.source = "https://github.com/cmu-db/benchbase/"
77
# Also add a few nice cli tools.
88
RUN apt-get update \
99
&& apt-get -y upgrade \
10-
&& apt-get -y install --no-install-recommends sudo vim-nox neovim less bash-completion colordiff git openssh-client jq \
10+
&& apt-get -y install --no-install-recommends sudo vim-nox neovim less bash-completion colordiff git openssh-client jq ripgrep \
1111
&& apt-get clean && rm -rf /var/lib/apt/lists/*
1212

1313
# Add a containeruser that allows vscode/codespaces to map the local host user

0 commit comments

Comments
 (0)