Files
pide/script/tools/startup.py
2022-08-11 16:32:49 +02:00

77 lines
2.1 KiB
Python

#!/bin/bash
#conda create --name pide python=3.8
#conda activate pide
#conda install -c paulscherrerinstitute -c conda-forge cam_server=5.3.2
#export JAVA_HOME='/Library/Java/JavaVirtualMachines/jdk-11.0.1.jdk/Contents/Home'
#pip install jep==3.9.1
export PSHELL_VER=1.18.0
export JAVA_VER=java11
export EPICS_CA_ADDR_LIST=192.168.0.70:54321
export JVM_UCP=
#This is not mandatory but on Java17, for extensions to be seen by scripts they must be added to class path, as they are not loaded in system class path
export EXTENSIONS_FOLDER=/Users/gobbo_a/dev/pshell/config/home/extensions/*
export JVM_OPENS="--add-opens java.base/jdk.internal.loader=ALL-UNNAMED"
for i in "$@"
do
case $i in
-jvmarg=*)
JVM_ARGS="${i#*=}"
#echo 'JVM args:' ${JVM_ARGS}
shift
;;
-ucp=*)
UCP="${i#*=}"
#echo 'UCP:' ${UCP}
shift
;;
-dev*)
DEV=1
echo "Using development folder"
;;
-version=*|--version=*)
export PSHELL_VER="${i#*=}"
echo "Using version " ${PSHELL_VER}
shift
;;
-javaver=*|--javaver=*)
export JAVA_VER="${i#*=}"
echo "Using java version " ${JAVA_VER}
shift
;;
*) # unknown option
;;
esac
done
export PSHELL_JAR=/Users/gobbo_a/dev/pshell/bin/pshell-${PSHELL_VER}-fat.jar
if [[ $DEV != "" ]] ; then
export PSHELL_JAR=/Users/gobbo_a/dev/pshell/pshell/build/libs/pshell-${PSHELL_VER}-fat.jar
fi
#WITH JEP
export PYTHONHOME=/Users/gobbo_a/opt/anaconda3/envs/pide
export JEP_JAR=`ls -1 ${PYTHONHOME}/lib/python3.8/site-packages/jep/jep-*.jar`
export LD_LIBRARY_PATH={PYTHONHOME}/lib/python3.8/site-packages/jep
export PATH=${PYTHONHOME}/bin:$PATH
if [[ $UCP != "" ]] ; then
UCP=${UCP}:
fi
${JAVA_VER} ${JVM_OPENS} ${JVM_ARGS} -Dcom.sun.management.jmxremote -Dcom.sun.management.jmxremote.local.only=false -Xmx1G -Xdock:name="PIDE" -Xdock:icon=/Users/gobbo_a/dev/pshell/pshell.png -cp ${EXTENSIONS_FOLDER}:${UCP}${PSHELL_JAR}:${JEP_JAR} ch.psi.pshell.ui.App -home=~/dev/pshell/config/pide -laf=dark -pini=true -selection_mode=Cameras -srv_url=localhost:8889 -cam_srv_url=localhost:8888 ${1+"$@"}