From 38cf7c91e33ce4134a99b13ed9840e786f71d38e Mon Sep 17 00:00:00 2001
From: David Schmitz <schmitz@lrz.de>
Date: Thu, 6 Oct 2022 14:15:51 +0000
Subject: [PATCH] install-debian.sh

---
 install-debian.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/install-debian.sh b/install-debian.sh
index 23936e19..29bf07dd 100755
--- a/install-debian.sh
+++ b/install-debian.sh
@@ -106,6 +106,10 @@ function debug_python_deps()
 
   [ -z "$venv_file" ] || . "$venv_file"
 
+  echo 1>&2
+  echo "# Python version: " 1>&2  
+  python --version
+
   echo 1>&2
   echo "# Python dependencies: " 1>&2  
   pip list
@@ -479,7 +483,7 @@ else
 
       cp -f settings.py.docker.debian settings.py
 
-    elif [ settings.py.debian ]; then # user has own settings prepared yet ?
+    elif [ -e settings.py.debian ]; then # user has own settings prepared yet ?
 
       cp -f settings.py.debian settings.py
 
-- 
GitLab