Ticket #13002: 09-josm-default-options.patch

File 09-josm-default-options.patch, 1.7 KB (added by sebastic, 10 years ago)

  • linux/latest/usr/bin/josm-latest 

    Description: Use /etc/default/josm to configure Java options.
Author: Stéphane Brunner (https://launchpad.net/~stephane-brunner)
Author: Bas Couwenberg <sebastic@debian.org>
Bug-Ubuntu: https://bugs.launchpad.net/ubuntu/+source/josm/+bug/287717
    a b else  
    2020        JAVA_CMDS="${JAVA_CMDS} /usr/lib/jvm/java-9-oracle/bin/java"
    2121fi
    2222
     23if [ -f /etc/default/josm-latest ]; then
     24    . /etc/default/josm-latest
     25fi
     26
    2327JAVA_OPTS="-Djosm.restart=true -Djosm.home=$HOME/.josm-latest -Djava.net.useSystemProxies=true $JAVA_OPTS"
    2428
    2529if [ -z "${JAVACMD}" ]; then

  • linux/tested/usr/bin/josm

    a b else  
    2020        JAVA_CMDS="${JAVA_CMDS} /usr/lib/jvm/java-9-oracle/bin/java"
    2121fi
    2222
     23if [ -f /etc/default/josm ]; then
     24    . /etc/default/josm
     25fi
     26
    2327JAVA_OPTS="-Djosm.restart=true -Djava.net.useSystemProxies=true $JAVA_OPTS"
    2428
    2529if [ -z "${JAVACMD}" ]; then

  • new file linux/latest/etc/default/josm-latest

    - +  
     1# Options to pass to java when starting JOSM.
     2# Uncomment the JAVA_OPTS lines to enable their use by /usr/bin/josm-latest
     3
     4# Increase usable memory
     5#JAVA_OPTS="${JAVA_OPTS} -Xmx1024m"
     6
     7# Enable OpenGL pipeline (2D graphic accelerators)
     8#JAVA_OPTS="${JAVA_OPTS} -Dsun.java2d.opengl=True"
     9

  • new file linux/tested/etc/default/josm

    - +  
     1# Options to pass to java when starting JOSM.
     2# Uncomment the JAVA_OPTS lines to enable their use by /usr/bin/josm
     3
     4# Increase usable memory
     5#JAVA_OPTS="${JAVA_OPTS} -Xmx1024m"
     6
     7# Enable OpenGL pipeline (2D graphic accelerators)
     8#JAVA_OPTS="${JAVA_OPTS} -Dsun.java2d.opengl=True"
     9