From f5126b907b7326c140b8e9508242232873b3c224 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 66eaf302df5..718dd6e2d7b 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