5 # copy the debian default settings if no user jalview settings file exist
6 if [ -n "${HOME}" -a \! -e ${HOME}/.jalview_properties ]; then
7 /bin/cp /etc/jalview_properties ${HOME}/.jalview_properties
10 # check to see if $1 is set and is not start of other cli set args
12 if [ -n "$ARG1" -a "$ARG1" = "${ARG1#-}" ]; then
13 # first argument exists and does not start with a "-"
17 java -jar /usr/share/java/jalview.jar $OPEN "$@"