Peter, You've brought up some good points. The good news is this is something I have been working on (as part of https://github.com/eclipse/ jetty.project/issues/1319 ) and hope to have published soon as the current information is not complete.
As for the specific functionality you mentioned with [files], the copy features are largely undocumented as they really exist as convenience methods to move things from Jetty_Home to Jetty_Base. Regarding extraction, I think it could be a good addition. I'd definitely recommend you enter it as a feature request on the project GitHub page ( https://github.com/eclipse/jetty.project/issues/new). If you are willing and able to produce the commit we'd certainly welcome it as well. Best, Chris On Tue, Feb 21, 2017 at 11:56 AM, Peter Boughton <je...@sorcerersisle.com> wrote: > As far as I can tell, the only documentation for Modules is this page: > > http://www.eclipse.org/jetty/documentation/current/startup-modules.html > > It would be helpful to have a module-creation focused page, presumably > in Jetty Development Guide, to describe the different options and > recommended approaches. (At the moment I'm poking through existing > modules to figure out how they work, but this isn't efficient.) > > > For the [files] section, the docs only list two options - directories > and downloads - but it appears possible to copy files using > basehome:src|dest and maven:group/artifact/version|dest too. > > https://github.com/eclipse/jetty.project/tree/jetty-9.4. > x/jetty-start/src/main/java/org/eclipse/jetty/start/fileinits > > I'm guessing the documentation is simply out of date rather than these > being unsupported? > > > Another option that would be helpful is populating a directory from a > zip file (or any standard archive format). > > So if you specified "extract:basename:src.zip|directory/" it would > create the directory and put the contents of the zip in it, or with > "extract:https://server/src.tgz|directory/" it'd do the same for a > download. > > Thoughts? > _______________________________________________ > jetty-users mailing list > jetty-users@eclipse.org > To change your delivery options, retrieve your password, or unsubscribe > from this list, visit > https://dev.eclipse.org/mailman/listinfo/jetty-users >
_______________________________________________ jetty-users mailing list jetty-users@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/jetty-users