From c75785da74ffa17e51d5747e1fa465ffc7841e2e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philipp=20G=C3=BChring?= <pg@futureware.at>
Date: Mon, 1 May 2023 15:27:18 +0200
Subject: [PATCH] pip3 instead of pip

---
 install_develop.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install_develop.sh b/install_develop.sh
index 3154bcc..4bf181b 100755
--- a/install_develop.sh
+++ b/install_develop.sh
@@ -9,7 +9,7 @@
 
 set -e
 
-INSTALL="pip install --upgrade --editable"
+INSTALL="pip3 install --upgrade --editable"
 
 # Install layout
 $INSTALL .
-- 
GitLab