changed source.list management (yet more to fix)

modules/upgrade_dist.sh

@@ -18,9 +18,6 @@ export VER_upgrade_dist="0.0.10"
 # The following var must stay empty
 export DEP_upgrade_dist=""
 
-# The following var must stay empty
-export DEP_upgrade_dist=""
-
 upgrade_dist()
 {
     local proxyfile=/etc/apt/apt.conf.d/00proxy
@@ -43,7 +40,9 @@ upgrade_dist()
     fi
     
     # Remplace source.list from dist with ours (be smarter)
-    installfile debian_bulleyes.list /etc/apt/sources.list
+    if [[ -n $APT_LIST_FILE ]]; then
+        installfile $APT_LIST_FILE /etc/apt/sources.list
+    fi
     
     prnt I "Mise à jour de la liste des paquets..."
     pkgupdt