JRuby

Load a properties file for distribution-presets

Details

  • Type: Improvement Improvement
  • Status: Resolved Resolved
  • Priority: Major Major
  • Resolution: Fixed
  • Affects Version/s: None
  • Fix Version/s: JRuby 1.7.0.RC1
  • Component/s: Intro, Miscellaneous
  • Labels:
    None
  • Environment:
    Gentoo Linux
  • Number of attachments :
    0

Description

Similarly to JFFI-2 issue, it would be nice to have a properties file to create at build time to set in information such as the home path, the lib path, the bin path and so on, so that it does not have to be given/calculated by the launcher script at runtime each time.

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
Charles Oliver Nutter added a comment -

Marking as Intro, since this is a pretty easy one.

Most of the properties Diego mentions already work as plain old Java properties. In order to complete the circle, we would just need to add fallback logic to load a jruby.properties from classloader resources and use that for those properties.

Softball bug for anyone who wants it

Show
Charles Oliver Nutter added a comment - Marking as Intro, since this is a pretty easy one. Most of the properties Diego mentions already work as plain old Java properties. In order to complete the circle, we would just need to add fallback logic to load a jruby.properties from classloader resources and use that for those properties. Softball bug for anyone who wants it
Hide
Permalink
Charles Oliver Nutter added a comment -

JRuby 1.7RC1 included a set of properties you can use to set lib paths, etc. Marking this as fixed, and hopefully it covers all cases you need. If not, reopen and let us know exactly what else is needed.

Show
Charles Oliver Nutter added a comment - JRuby 1.7RC1 included a set of properties you can use to set lib paths, etc. Marking this as fixed, and hopefully it covers all cases you need. If not, reopen and let us know exactly what else is needed.

People

  • Assignee:
    Charles Oliver Nutter
    Reporter:
    Diego Elio Pettenò
Vote (0)
Watch (2)

Dates

  • Created:
    Updated:
    Resolved: