[un peu HS] Mailman : pb avec changement du nom du serveur

[Dominique Asselineau <asseline@telecom-paristech.fr>]

Bonjour,

Sous Debian encore Squeeze, avec Mailman packagé, version 2.1.13-5
donc, je rencontre un problème après avoir chanté le nom du serveur.

Dans les pages web pour l'administration des listes existantes, pas
moyen d'avoir le nouveau nom du serveur .  Il semble que ce nom soit
encodé dans le fichier
/var/lib/mailman/lists/<nom-de-liste>/config.pck apparemment mis à
jour à l'aide de la commande config_list -i <nom-de-fichier-conf>.  La
difficulté est que le fichier nom-de-fichier-conf ne dispose pas de
paramètre pour reconfigurer le nom du serveur.  Le paramètre host_name
ne concerne que les adresses mail.

J'ai également tenté de voir ce qu'on peut faire avec le fichier
/etc/mailman/mm_cfg.py, en forçant DEFAULT_URL_PATTERN mais ça
provoque une erreur.

Auriez-vous une idée plus efficace que de détruire les listes et de
les recréer et surtout de reconfigurer les messages et pages web ?

Merci de votre aide

dom



--