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 !