devcontainer still uses a pipenv-shebang

pull/7102/head
Nils Dijk 2023-08-24 14:20:58 +02:00
parent a6cb3f86a8
commit 6780dccffd
1 changed files with 1 additions and 1 deletions

View File

@ -141,7 +141,7 @@ RUN sudo apt update \
vim \
&& sudo apt clean
RUN sudo pip3 install pipenv
RUN sudo pip3 install pipenv pipenv-shebang
# add some common tools to the final container
# bin directory for user tools