From 6780dccffd6285d2c70de51e35a4cc987a38d644 Mon Sep 17 00:00:00 2001
From: Nils Dijk <nils@citusdata.com>
Date: Thu, 24 Aug 2023 14:20:58 +0200
Subject: [PATCH] devcontainer still uses a pipenv-shebang

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

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index 66eaf302d..718dd6e2d 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -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