utils/debian/debian/wrappers/jalview

   1 #!/usr/bin/env bash
   2 set -e
   3 ARG1=$1
   4
   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
   8 fi
   9
  10 java -jar /usr/share/java/jalview.jar "$@"