debinstall #6534 script de migration vers nouvelle disposition des répertoires [resolved]

on a changé la structure des répertoires dans cette version. Il faut un script, qui sera installé par le paquet Debian dans /usr/share/doc/debinstall/migration_2.1 qui prend en argument un nom d'entrepot de la version précédente, fait un backup (répertoires et fichiers de config si nécessaire) et recrée un entrepôt du même nom et migre les paquets de l'ancien entrepôt dans la release sid du nouvel entrepôt.