What Nick, Henrik and Erik said. Rename the old tool, deprecate it and remove it. `puppet doc` is the command that makes sense and that sensible command should do sensible things.
I kinda do like 'codex' though, it has a ring to it. -- Daniele Sluijters On Tuesday, 12 August 2014 23:52:39 UTC+2, Nick Fagerlund wrote: > > Well, something I've learned over the last four years is that cute names > age a lot faster than you'd think. So I'm generally in favor of descriptive > ones instead, at least when we're dealing with command -line tools. > > And unfortunately, "puppet doc" is pretty much the perfect name for it. :/ > So, two things: > > 1. Can we consider renaming the old tool to puppet rdoc, as suggested > earlier? It's always been janky; a rename might actually be a good signal > to users that there's now something better. > 2. If that's a no-go, we might want to use a temporary name for the new > tool, one that shows it will eventually be called puppet doc. Maybe "puppet > docplus" or something. Once we think we can get away with killing off the > old-school puppet doc, I'd really like to reclaim its name for the improved > tool. > > Anyway, if we can't use puppet doc: > > - puppet strings is all right, though I don't love it. (It's cute, but > it's sort of domain-appropriate this time, so I could live with it.) > - new suggestions: "puppet details" or "puppet codex." > > On Tuesday, August 12, 2014 10:33:04 AM UTC-7, Andy Parker wrote: >> >> On Tue, Aug 12, 2014 at 10:19 AM, Hailee Kenney <[email protected]> >> wrote: >> >>> >>> puppet readme >>> puppet guide >>> puppet usage >>> >> >> These three seem like they would be confused with "puppet help" too easily >> >> > > I have the same problem with these three. > -- 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/6aa1a498-9a57-4c72-bd5d-3279de6731b7%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
