From 7bbfcbcbf3ba7982343796ba18bee38d7c8997df Mon Sep 17 00:00:00 2001
From: Jakub Vonka <jakub.vonka@psi.ch>
Date: Fri, 30 Jan 2026 12:57:39 +0100
Subject: [PATCH] Changed token capitalization

---
 print_jupyter_link.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/print_jupyter_link.sh b/print_jupyter_link.sh
index ab8f49d..e37c9f5 100644
--- a/print_jupyter_link.sh
+++ b/print_jupyter_link.sh
@@ -2,7 +2,7 @@
 # Print the JupyterLab URL from the latest jupyterlab_*.log.
 # On Cristallina the real token is redacted in the log ("token=..."),
 # so if the token is missing or redacted we replace it with the most commonly used
-# token "Cristallina" to produce a usable URL.
+# token "cristallina" to produce a usable URL.
 
 set -euo pipefail
 
@@ -33,7 +33,7 @@ fi
 
 # If token is missing or redacted, replace with a 'Cristallina' token
 if [[ "$URL" != *"token="* || "$URL" == *"token=..."* ]]; then
-  URL="${URL%%\?*}?token=Cristallina"
+  URL="${URL%%\?*}?token=cristallina"
 fi
 
-echo "$URL"
\ No newline at end of file
+echo "$URL"