From 424c34225f831882d313d203da30792d6aab7d31 Mon Sep 17 00:00:00 2001
From: Otto Winter <otto@otto-winter.com>
Date: Tue, 15 Jun 2021 10:19:21 +0200
Subject: [PATCH] Run script/setup in devcontainer instead of pip install
 (#1913)

---
 script/devcontainer-post-create | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/devcontainer-post-create b/script/devcontainer-post-create
index f4e5ce0d5a..4b4dc5b6c9 100755
--- a/script/devcontainer-post-create
+++ b/script/devcontainer-post-create
@@ -4,7 +4,7 @@ set -e
 # set -x
 
 mkdir -p config
-pip3 install -e .
+script/setup
 
 cpp_json=.vscode/c_cpp_properties.json
 if [ ! -f $cpp_json ]; then