forked from steger/pr3-ws202627
install ripgrep for todotree
parent
b00d803a56
commit
276218e511
|
|
@ -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
|
||||||
|
|
|
||||||
|
|
@ -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"
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue