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 [email protected]. 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.
