On Thursday, 12 March 2015 23:31:58 UTC+1, Felix Frank wrote: > > On 03/11/2015 05:56 PM, Bostjan Skufca wrote: > > > > I would like to hear your opinion about this, and whether this would > > be useful for you. > > > > Hi, > > I don't believe that such a feature would be useful to a majority of > users, myself included. > > I do see two disadvantages to adding this: > 1. It adds complexity, of which there is no shortage as far as > environments are concerned, at least that's my gut feeling. >
I agree up to a point here, but see the rest of the post below. 2. It adds configuration options, so there is additional complexity for > the end user as well. > I'm not saying we should remove as many configuration settings and > options as possible, but we shouldn't go overboard with new ways for > users to shoot themselves in the foot. > For such an occasion I like to say that, yes, doing "rm -rf /" is bad, but as a sysadmin I still want to have this tool available. :) Maybe puppet is becoming complex enough that Puppet Labs should think about classifying configuration settings into two categories: basic and advanced. This one (EEL) would definitely fall into advanced category, and directory environments should be advocated/documented as primary way to create/use environments. Anyway, what I am trying to say is: - puppet should not be holding power users back as a sacrifice for being nice to novices; - puppet should strike a good balance between both extremes, by means of feature implementation and documentation organisation; - achieving such a balance is not easy, I admit; - puppet is a power tool, and irresponsible users that rush into using it, should not stand in the way of progress b. -- You received this message because you are subscribed to the Google Groups "Puppet Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to puppet-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/puppet-dev/9022ae5e-43fc-459b-949e-47d5221857cd%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
