import: set EXP_ID if different from script name

25d14726 · Karl-Hermann Wieners · f8aa190f · 25d14726
Commit 25d14726 authored 4 months ago by Karl-Hermann Wieners
--- 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}