Skip to content

Instantly share code, notes, and snippets.

@ifedorenko
Created September 29, 2014 22:08
Show Gist options
  • Save ifedorenko/e8ec4812ef94c5d21d90 to your computer and use it in GitHub Desktop.
Save ifedorenko/e8ec4812ef94c5d21d90 to your computer and use it in GitHub Desktop.
osgi.dev {-dev}
if set to the empty string, dev mode is simply turned on. This property may also be set to a comma-separated class path entries which are added to the class path of each plug-in or a URL to a Java properties file containing custom classpath additions for a set of plug-ins. For each plug-in requiring a customized dev time classpath the file will contain an entry of the form
<plug-in id>=<comma separated list of classpath entries to add>
where plug-in id "*" matches any plug-in not otherwise mentioned.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment