That would technically also solve the problem. There would just have to be an additional validation step to make sure that the keys in the resource are unique.
I wonder if all resources could be changed to more of a DB-style key model where you could denote specific attributes as your unique key set and all would need to match prior to a resource being declared duplicate. It seems that it would solve this issue and some others that I've seen with people creating custom types (though I can't find any examples right now). Trevor On Mon, Mar 10, 2014 at 9:54 AM, John Bollinger <john.bollin...@stjude.org>wrote: > > > On Saturday, March 8, 2014 11:24:07 AM UTC-6, Trevor Vaughan wrote: >> >> How does 'exec' do it? >> >> > > Exec doesn't do it. What Exec does (or did -- I am having trouble finding > mention of it in the current docs), is to allow the title / command to be > duplicated without restriction, regardless of provider. > > > John > > -- > 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/b38dada5-bc4a-4fd9-a28b-80f2f1a1d6c6%40googlegroups.com<https://groups.google.com/d/msgid/puppet-dev/b38dada5-bc4a-4fd9-a28b-80f2f1a1d6c6%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > For more options, visit https://groups.google.com/d/optout. > -- Trevor Vaughan Vice President, Onyx Point, Inc (410) 541-6699 tvaug...@onyxpoint.com -- This account not approved for unencrypted proprietary information -- -- 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/CANs%2BFoWmAJWudrvywZnWZHJgfUzw8p1or7VEp5URmG4uLmgXUA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
