diff --git a/scripts/medley/medley.command b/scripts/medley/medley.command index 210851a5..041877d1 100755 --- a/scripts/medley/medley.command +++ b/scripts/medley/medley.command @@ -593,7 +593,7 @@ run_id="default" screensize="" sysout_arg="" sysout_stage="" -title="Medley Interlisp %i" +title="" use_vnc=false windows=false maikodir_arg="" @@ -1235,6 +1235,10 @@ if [ -z "${LDEKBDTYPE}" ]; then fi # figure out title situation +if [ -z "${title}" ] +then + title="Medley Interlisp %i" +fi if [ ! "${run_id}" = default ] then title="$(printf %s "${title}" | sed -e "s/%i/:: ${run_id}/")" diff --git a/scripts/medley/medley_args.sh b/scripts/medley/medley_args.sh index 5f0095aa..65fa080f 100755 --- a/scripts/medley/medley_args.sh +++ b/scripts/medley/medley_args.sh @@ -27,7 +27,7 @@ run_id="default" screensize="" sysout_arg="" sysout_stage="" -title="Medley Interlisp %i" +title="" use_vnc=false windows=false maikodir_arg="" diff --git a/scripts/medley/medley_run.sh b/scripts/medley/medley_run.sh index 78ddc9bf..46ed7f06 100644 --- a/scripts/medley/medley_run.sh +++ b/scripts/medley/medley_run.sh @@ -182,6 +182,10 @@ if [ -z "${LDEKBDTYPE}" ]; then fi # figure out title situation +if [ -z "${title}" ] +then + title="Medley Interlisp %i" +fi if [ ! "${run_id}" = default ] then title="$(printf %s "${title}" | sed -e "s/%i/:: ${run_id}/")"