From 27a5f121b65acb7530335b74029ce4be79216ae2 Mon Sep 17 00:00:00 2001
From: Robbe Derks <robbe.derks@gmail.com>
Date: Mon, 14 Aug 2023 18:33:19 +0000
Subject: [PATCH] ripgrep

---
 .devcontainer/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index 9b353546adca96..1cc8ce39557715 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -3,5 +3,5 @@ FROM ghcr.io/commaai/openpilot-base:latest
 RUN printf "\nsource /workspaces/openpilot/tools/openpilot_env.sh\n" >> ~/.bashrc
 # remove gitconfig if exists, since its gonna be replaced by host one
 RUN rm -f /root/.gitconfig
-RUN apt update && apt install -y vim net-tools usbutils htop
+RUN apt update && apt install -y vim net-tools usbutils htop ripgrep
 RUN pip install ipython jupyter jupyterlab