Bonjour,
Voici le résultat de mes tâtonnements, qui finalement fonctionnent.
1- Recopie des répertoires /pool des DVD d’installation dans le répertoire /opt/debian/stable (plus loin $REP).
J’obtiens les sous-répertoires $REP/main, $REP/contrib et $REP/non-free-firmware, chacun contenant eux-mêmes des sous-répertoires, qui finalement contiennent les paquets.
2- Lancement de la commande dpkg-scanpackages ./ /dev/null | gzip -9c > Packages.gz. (c’est très long et ça consomme beaucoup de mémoire, sans doute pour trier les 64000 paquets par ordre alpha. Pour un i5-4670K et 8 Go RAM + 8 Go de swap, ~ 1 heure).
3- Transfert de $REP sur le portable « isolé » via un disque externe. Là encore c’est très long mais j’ai ainsi évité la génération du fichier Packages sur le portable bien moins puissant (c’est dire…).
4 - Contrôle du fichier Packages.gz obtenu dans $REP :
- dézippage ;
- édition : pour chaque paquet la ligne
Filename: doit être suivie d’un chemin commençant par stable\(pour être conforme à mon répertoire).
- pour ma part, j’avais :
Filename: ./main/...
et j’ai du corriger le fichier avec :
sed -i.bak 's/Filename: \./Filename stable/' Packages
- il ne semble pas que le ‹ rezippage › de
Packages soit obligatoire…
5 - Le fichier sources.list ne comporte qu’une ligne :
deb [trusted=yes] file:/opt/debian stable/
6 - Terminer par apt update.
Désormais l’installation de paquets se fait naturellement avec apt install.
Merci de m’avoir mis sur la voie !