1
0
Fork 0

install ripgrep for todotree

pull/1/head^2
Sebastian Steger 2026-09-23 10:20:25 +00:00
parent df26e6a4e3
commit 068bd4f33f
2 changed files with 6 additions and 1 deletions

View File

@ -4,6 +4,10 @@ RUN apt-get update \
&& apt-get install -y build-essential \ && apt-get install -y build-essential \
&& rm -rf /var/lib/apt/lists/* && rm -rf /var/lib/apt/lists/*
RUN apt-get update \
&& apt-get install -y ripgrep \
&& rm -rf /var/lib/apt/lists/*
ARG USERNAME=developer ARG USERNAME=developer
ARG USER_UID=1000 ARG USER_UID=1000
ARG USER_GID=$USER_UID ARG USER_GID=$USER_UID

View File

@ -3,5 +3,6 @@
"terminal.integrated.env.linux": { "terminal.integrated.env.linux": {
"EDITOR": "code --wait" "EDITOR": "code --wait"
}, },
"terminal.integrated.defaultProfile.linux": "bash" "terminal.integrated.defaultProfile.linux": "bash",
"todo-tree.ripgrep.ripgrep": "/usr/bin/rg"
} }