lite-xl/scripts/run-local

120 lines
2.3 KiB
Plaintext
Raw Normal View History

#!/bin/bash
2020-12-26 11:37:43 +01:00
set -o errexit
# accept argument in the form
github_raw_content () {
echo "https://raw.githubusercontent.com/$1"
}
2020-12-26 11:37:43 +01:00
option_portable=off
option_copy=on
pargs=()
plugins=()
2020-12-26 11:37:43 +01:00
while [[ "$#" -gt 0 ]]; do
case $1 in
-portable)
option_portable=on
;;
-keep)
option_copy=off
;;
-plugin=*)
# should be like -plugin=franko/lite-plugins/master/plugins/autowrap.lua
plugins+=("${1#-plugin=}")
;;
2020-12-26 11:37:43 +01:00
-global)
option_global=on
;;
-*)
echo "error: unknown option \"$1\""
exit 1
;;
*)
pargs+=("$1")
;;
esac
shift
done
if [ "${#pargs[@]}" -lt 1 ]; then
echo "usage: $0 [options] <build-dir>"
exit 1
fi
if [[ "$OSTYPE" == "msys"* || "$OSTYPE" == "mingw"* ]]; then
run_windows=yes
fi
rundir=".run"
2021-04-19 10:18:52 +02:00
if [[ "$OSTYPE" == "darwin"* ]]; then
bindir="$rundir"
datadir="$rundir"
elif [ "$option_portable" == on ]; then
bindir="$rundir"
datadir="$rundir/data"
else
bindir="$rundir/bin"
datadir="$rundir/share/lite-xl"
fi
2020-12-08 18:49:58 +01:00
userdir="$(realpath "$rundir")"
2020-12-26 11:37:43 +01:00
builddir="${pargs[0]}"
2020-12-26 15:25:09 +01:00
build_lite () {
echo "running ninja"
ninja -C "$builddir"
}
2020-12-26 11:37:43 +01:00
copy_lite_build () {
echo "copying lite executable and data"
rm -fr "$rundir"
mkdir -p "$bindir" "$datadir"
if [ ! -z ${run_windows+x} ]; then
cp "$builddir/src/lite.exe" "$bindir"
else
cp "$builddir/src/lite" "$bindir"
fi
for module_name in core plugins colors fonts; do
cp -r "data/$module_name" "$datadir"
done
}
2020-12-26 11:37:43 +01:00
run_lite () {
if [ ! -z ${option_global+x} ]; then
echo "running \"lite ${pargs[@]:1}\""
exec "$bindir/lite" "${pargs[@]:1}"
else
echo "running \"lite ${pargs[@]:1}\" with local HOME"
if [ ! -z ${run_windows+x} ]; then
USERPROFILE="$userdir" exec "$bindir/lite" "${pargs[@]:1}"
else
HOME="$userdir" exec "$bindir/lite" "${pargs[@]:1}"
fi
fi
}
github_raw_content () {
echo "https://raw.githubusercontent.com/$1"
}
fetch_plugins () {
for name in "$@"; do
local url="$(github_raw_content "$name")"
local modname="${url##*/}"
if [ "$modname" == init.lua ]; then
local m1="${name#*/}"
modname="${m1%%/*}.lua"
fi
echo "installed $name as $modname from $url"
curl --insecure -L "$url" -o "$datadir/plugins/${modname}"
done
}
2020-12-26 11:37:43 +01:00
if [ $option_copy == on ]; then
2020-12-26 15:25:09 +01:00
build_lite
2020-12-26 11:37:43 +01:00
copy_lite_build
fi
fetch_plugins "${plugins[@]}"
2020-12-26 11:37:43 +01:00
run_lite