ちょっとしたことで、mailmanを利用しているメーリングリスト全体を、新しいドメインに動かさないといけなくなったので、作業メモ。

1. /etc/mailman/mm_cfg.py のドメイン (DEFAULT_EMAIL_HOST, DEFAULT_URL_HOST)を新しいドメインに編集
2. bin/check_perms, bin/check_dbなどを実行
3. 各メーリングリストの情報を更新

   $ cat > /tmp/mailman
   m.Lock()
   m.host_name='some-new-domain'
   m.web_page_url='http://some-new-domain/mailman/'
   m.Save()
   $ python -i /var/lib/mailman/bin/withlist ml-name < /tmp/mailman
   

最初、2.までしかやってなくて、メーリングリストがリスト一覧のページから全部消えたときは、少しぎょっとした。。