From 4e380a02c6f83f0d7df8606987d7f56cf678002d Mon Sep 17 00:00:00 2001
From: Arie Peterson <arie@greenhost.nl>
Date: Thu, 23 May 2024 16:49:55 +0200
Subject: [PATCH] Add dev command for local backend shell
---
dev.sh | 15 +++++++++++++++
1 file changed, 15 insertions(+)
diff --git a/dev.sh b/dev.sh
index 486097c7..38591317 100755
--- a/dev.sh
+++ b/dev.sh
@@ -114,6 +114,15 @@ runBackend() {
esac
}
+runBackendShell() {
+ echo "Running shell in the local dashboard backend environment."
+ pushd backend > /dev/null
+ source venv/bin/activate
+ env $(xargs <backend.env) bash
+ deactivate
+ popd > /dev/null
+}
+
runFrontend() {
echo "Running dashboard frontend locally and connecting to cluster."
case $mode in
@@ -172,6 +181,12 @@ then
exit 0
fi
+if [ "$1" == "backend-shell" ]
+then
+ runBackendShell
+ exit 0
+fi
+
if [ $# -eq 1 ]
then
mode="native"
--
GitLab