From b3b99b9dcdd00633fffbe80d0a3086d0072984ff Mon Sep 17 00:00:00 2001 From: Francesco Abbate Date: Sun, 11 Jul 2021 18:36:49 +0200 Subject: [PATCH] Fix run-local script to use new executable name Updated the script to use the new name on the executable, lite-xl instead of line. --- scripts/run-local | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/scripts/run-local b/scripts/run-local index 1af7fd1c..d5de23aa 100755 --- a/scripts/run-local +++ b/scripts/run-local @@ -71,9 +71,9 @@ copy_lite_build () { rm -fr "$rundir" mkdir -p "$bindir" "$datadir" if [ ! -z ${run_windows+x} ]; then - cp "$builddir/src/lite.exe" "$bindir" + cp "$builddir/src/lite-xl.exe" "$bindir" else - cp "$builddir/src/lite" "$bindir" + cp "$builddir/src/lite-xl" "$bindir" fi for module_name in core plugins colors fonts; do cp -r "data/$module_name" "$datadir" @@ -82,14 +82,14 @@ copy_lite_build () { run_lite () { if [ ! -z ${option_global+x} ]; then - echo "running \"lite ${pargs[@]:1}\"" - exec "$bindir/lite" "${pargs[@]:1}" + echo "running \"lite-xl ${pargs[@]:1}\"" + exec "$bindir/lite-xl" "${pargs[@]:1}" else - echo "running \"lite ${pargs[@]:1}\" with local HOME" + echo "running \"lite-xl ${pargs[@]:1}\" with local HOME" if [ ! -z ${run_windows+x} ]; then - USERPROFILE="$userdir" exec "$bindir/lite" "${pargs[@]:1}" + USERPROFILE="$userdir" exec "$bindir/lite-xl" "${pargs[@]:1}" else - HOME="$userdir" exec "$bindir/lite" "${pargs[@]:1}" + HOME="$userdir" exec "$bindir/lite-xl" "${pargs[@]:1}" fi fi }