Skip to content

Commit

Permalink
ripgrep
Browse files Browse the repository at this point in the history
  • Loading branch information
robbederks committed Aug 14, 2023
1 parent 1d1c822 commit 27a5f12
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .devcontainer/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 27a5f12

Please sign in to comment.