File tree Expand file tree Collapse file tree 3 files changed +10
-2
lines changed Expand file tree Collapse file tree 3 files changed +10
-2
lines changed Original file line number Diff line number Diff line change @@ -593,7 +593,7 @@ run_id="default"
593593screensize=" "
594594sysout_arg=" "
595595sysout_stage=" "
596- title=" Medley Interlisp %i "
596+ title=" "
597597use_vnc=false
598598windows=false
599599maikodir_arg=" "
@@ -1235,6 +1235,10 @@ if [ -z "${LDEKBDTYPE}" ]; then
12351235fi
12361236
12371237# figure out title situation
1238+ if [ -z " ${title} " ]
1239+ then
1240+ title=" Medley Interlisp %i"
1241+ fi
12381242if [ ! " ${run_id} " = default ]
12391243then
12401244 title=" $( printf %s " ${title} " | sed -e " s/%i/:: ${run_id} /" ) "
Original file line number Diff line number Diff line change @@ -27,7 +27,7 @@ run_id="default"
2727screensize=" "
2828sysout_arg=" "
2929sysout_stage=" "
30- title=" Medley Interlisp %i "
30+ title=" "
3131use_vnc=false
3232windows=false
3333maikodir_arg=" "
Original file line number Diff line number Diff line change @@ -182,6 +182,10 @@ if [ -z "${LDEKBDTYPE}" ]; then
182182fi
183183
184184# figure out title situation
185+ if [ -z " ${title} " ]
186+ then
187+ title=" Medley Interlisp %i"
188+ fi
185189if [ ! " ${run_id} " = default ]
186190then
187191 title=" $( printf %s " ${title} " | sed -e " s/%i/:: ${run_id} /" ) "
You can’t perform that action at this time.
0 commit comments