[Mailman-Users] Mailman is changing list names to upper case first letter; how can that be changed? Are list names not case-sensitive?

[Kirke Johnson]

BRAVO! I have been working around that behavior in Mailman-related scripts
for years. Too bad they now have me migrating from Mailman to Google
Groups...............

Kirke Johnson                               Internet: kjohnson at pcc.edu
Email Administrator, TSS , Sylvania Campus
Portland Community College, Portland, OR, USA     (971) 722-4368


On Tue, Apr 30, 2013 at 2:22 PM, Tom Browder <tom.browder at gmail.com> wrote:

> On Tue, Apr 30, 2013 at 3:24 PM, Mark Sapiro <mark at msapiro.net> wrote:
> > On 04/30/2013 12:15 PM, Tom Browder wrote:
> >>
> >> I assume there is some way to change that behavior in a python file,
> but where?
> ...
> > If you want to change this default, edit the module Mailman/MailList.py.
> > Around line 352 you'll see
> >
> >         self.real_name = internalname[0].upper() + internalname[1:]
> >
> > Change that to
> >
> >         self.real_name = internalname
>
> That did it, Mark, great help as usual!
>
> Thanks a heap (one more question coming later if I can't sort it out).
>
> Best regards,
>
> -Tom
> ------------------------------------------------------
> Mailman-Users mailing list Mailman-Users at python.org
> http://mail.python.org/mailman/listinfo/mailman-users
> Mailman FAQ: http://wiki.list.org/x/AgA3
> Security Policy: http://wiki.list.org/x/QIA9
> Searchable Archives:
> http://www.mail-archive.com/mailman-users%40python.org/
> Unsubscribe:
> http://mail.python.org/mailman/options/mailman-users/kjohnson%40pcc.edu
>