Changes between Initial Version and Version 1 of Ticket #22833, comment 2


Ignore:
Timestamp:
2023-03-22T18:09:18+01:00 (3 years ago)
Author:
sebastic

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #22833, comment 2

    initial v1  
    7474I don't think this is a bug, either set the option in `/etc/default/josm` or set on the commandline.
    7575
    76 A case can be made for prepending values to `JAVA_OPTS` like `/usr/bin/josm` to use value set by the user instead the one set by the administrator.
     76A case can be made for prepending values to `JAVA_OPTS` like `/usr/bin/josm` to use the value set by the user instead of the one by the administrator.
    7777
    7878This patch could suffice: