Jira (PUP-671) PR (2034): (#23084) Package options property for package - ptomulik

[gepetto-bot (JIRA)]

Title: Message Title

gepetto-bot commented on an issue   Re: PR (2034): (#23084) Package options property for package - ptomulik jantman commented: Agree with @adrienthebo about the naming - "build options" seems like a bad name for many other providers, where these options can't affect a build (i.e. the many package management systems that only install pre-built/compiled packages). I don't know if there's a name collision, but I'd also suggest extra_options as a possibility. Add Comment   Puppet / PUP-671 PR (2034): (#23084) Package options property for package - ptomulik h2. (#23084) Package options property for package  * Author: Paweł Tomulik <ptomu...@meil.pw.edu.pl>  * Company: Warsaw University of Technology  * Github ID: [ptomulik|https://github.com/ptomulik]  * [Pull Request 2034 Discussion|https://github.com/puppetlabs/puppet/pull/2034]  * [Pull Request 2034 File Diff|https://github.com/puppetlabs/puppet/pull/203... This message was sent by Atlassian JIRA (v6.1.4#6159-sha1:44eaede) -- You received this message because you are subscribed to the Google Groups "Puppet Bugs" group. To unsubscribe from this group and stop receiving emails from it, send an email to puppet-bugs+unsubscr...@googlegroups.com. To post to this group, send email to puppet-bugs@googlegroups.com. Visit this group at http://groups.google.com/group/puppet-bugs. For more options, visit https://groups.google.com/groups/opt_out.