From 25d14726c27b0a4799dad89ac32486cc648fda55 Mon Sep 17 00:00:00 2001
From: Karl-Hermann Wieners <karl-hermann.wieners@mpimet.mpg.de>
Date: Tue, 19 Nov 2024 07:58:50 +0100
Subject: [PATCH] import: set EXP_ID if different from script name

---
 importexp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/importexp b/importexp
index a020735..9452510 100755
--- a/importexp
+++ b/importexp
@@ -191,6 +191,7 @@ cd '$WORK_DIR'
 
     cat << EOF
 ###\\
+$([ "$RUN_SCRIPT_BASE" != "$EXPNAME" ] && echo EXP_ID = $EXPNAME)
 EXP_TYPE = ${EXP_TYPE:-DEFAULT}
 ENVIRONMENT = ${ENVIRONMENT:-levante}
 
-- 
GitLab