[Mailman-Users] Changing host names, revisited... final steps...

[Tanstaafl]

Lastly...

Is there any special order for making these changes, or just:

1. Make the changes to mm_cfg.py per below

2. Restart mailman

3. Run $prefix/bin/withlist -l -a -r fix_url to fix all existing lists

4. Restart mailman

5. Done...?

Thanks again,

Charles

******************* My current and proposed new settings:

Defaults.py currently contains

> DEFAULT_EMAIL_HOST = 'myhost.example.com'
> DEFAULT_URL_HOST = 'myhost.example.com'
> DEFAULT_URL_PATTERN = 'http://%s/mailman/'

And my current/recently edited mm_cfg.py - the commented settings/lines
below are the changes I've added, in preparation for the change, and
will just comment/uncomment the relevant ones to 'flip the switch':

> ##################################################
> # Put YOUR site-specific settings below this line.
> MTA = 'Postfix'
> #DEFAULT_EMAIL_HOST = 'example.com'
> #DEFAULT_URL_HOST = 'lists.example.com'
> #add_virtualhost(DEFAULT_URL_HOST, DEFAULT_EMAIL_HOST)
> #VIRTUAL_HOSTS.clear()
> DEFAULT_URL_PATTERN = 'https://%s/mailman/'
> #POSTFIX_STYLE_VIRTUAL_DOMAINS = ['lists.example.com']
> POSTFIX_STYLE_VIRTUAL_DOMAINS = ['myhost.example.com']
> ALLOW_SITE_ADMIN_COOKIES = Yes
-- 

Charles