# ${HOME} will be replaced by user home directory according to platform default_userdir="${HOME}\SNAP" # Options used by the launcher by default, can be overridden by explicit command line switches default_options="--branding snap --locale en_GB -J-XX:+AggressiveOpts -J-Xverify:none -J-Xms256M -J-Xmx22G -J-Dnetbeans.mainclass=org.esa.snap.main.Main -J-Dsun.java2d.noddraw=true -J-Dsun.awt.nopixfmt=true -J-Dsun.java2d.dpiaware=false" # for development purposes you may wish to append: -J-Dnetbeans.logger.console=true -J-ea # Default location of JRE jdkhome="./jre" # Extra cluster paths separated by semicolon ';' #extra_clusters=""