I actually moved that forward in our process to getting a design decision made, so it will work out what happens. If you wanted to produce an appropriate patch or whatever we would be happy to see that attached – I certainly see it as likely we will decide to approve such a change.
Daniel On Fri, Feb 18, 2011 at 13:31, Mark Stanislav <mark.stanis...@gmail.com> wrote: > http://projects.puppetlabs.com/issues/6380 <-- if anyone is interested. > Thanks for the help; a good way to end a Friday at work :) > > -Mark > > On Feb 18, 2011, at 4:21 PM, Daniel Pittman wrote: > >> On Fri, Feb 18, 2011 at 13:00, Mark Stanislav <mark.stanis...@gmail.com> >> wrote: >> >>> That indeed solved the issue. I don't see a case open with regard to >>> increasing the default column size but I think it may be prudent to do so. >>> Anyone adamantly opposed? I'll open a case if not. >> >> Even if someone was opposed, having that recorded in a ticket, along >> with the arguments each way, would be ideal: it would let the next >> person to run into the issue discover why things are the way they are >> without having to involve the list. :) >> >> Daniel >> -- >> ⎋ Puppet Labs Developer – http://puppetlabs.com >> ✉ Daniel Pittman <dan...@puppetlabs.com> >> ✆ Contact me via gtalk, email, or phone: +1 (877) 575-9775 >> ♲ Made with 100 percent post-consumer electrons > > -- > You received this message because you are subscribed to the Google Groups > "Puppet Users" group. > To post to this group, send email to puppet-users@googlegroups.com. > To unsubscribe from this group, send email to > puppet-users+unsubscr...@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/puppet-users?hl=en. > > -- ⎋ Puppet Labs Developer – http://puppetlabs.com ✉ Daniel Pittman <dan...@puppetlabs.com> ✆ Contact me via gtalk, email, or phone: +1 (877) 575-9775 ♲ Made with 100 percent post-consumer electrons -- You received this message because you are subscribed to the Google Groups "Puppet Users" group. To post to this group, send email to puppet-users@googlegroups.com. To unsubscribe from this group, send email to puppet-users+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/puppet-users?hl=en.
