2021-03-31 01:32:57 -05:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
if [[ ! -n "$JAVA_CMD" ]]; then
|
2022-12-05 09:16:36 -05:00
|
|
|
if [[ -n "$JAVA_HOME" ]] && [[ -x "$JAVA_HOME/bin/java" ]]; then
|
|
|
|
JAVA_CMD="$JAVA_HOME/bin/java"
|
|
|
|
else
|
|
|
|
set +e
|
|
|
|
JAVA_CMD=$(type -p java)
|
|
|
|
set -e
|
|
|
|
if [[ ! -n "$JAVA_CMD" ]]; then
|
|
|
|
>&2 echo "Couldn't find 'java'. Please set JAVA_HOME."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
fi
|
2021-03-31 01:32:57 -05:00
|
|
|
fi
|
|
|
|
|
|
|
|
if [ -f ./environ ]; then
|
2022-12-05 09:16:36 -05:00
|
|
|
source ./environ
|
2021-03-31 01:32:57 -05:00
|
|
|
fi
|
|
|
|
|
|
|
|
set -x
|
2022-01-11 10:30:22 -05:00
|
|
|
exec $JAVA_CMD $JVM_OPTS "$@" -jar penpot.jar -m app.main
|