Bonjour,
J'installe souvent des logiciels non-empaqués par Debian, par une séquence de commande de type ./configure, make, make install incluse dans un script d'installation.
Je constate que l'exécution du Makefile déclenche le télé-chargement de fichiers par des commandes du type wget
http://superdepot.com/foo.bar.
Je voudrai réduire le temps l'exécution de ces Makefiles en pré-chargeant les fichiers qui autrement seraient télé-chargés sur Internet.
J'imagine le processus:
- je configure wget,
- je lance en mode apprentissage mon script d'installation: il télé-charge sur Internet tous les fichiers dont il a besoin en consignant dans un répertoire la liste des fichiers qu'il a télé-chargés et leur contenu,
- j'ajoute ces fichiers dans mon environnement,
- je re-configure wget,
- quand je relance mon script d'installation en mode nominal, de façon transparente, plutôt que sur Internet, wget copie depuis mon environnement les fichiers qu'il doit télé-charger, ce qui fait gagner un temps précieux.
Comme il s'agit simplement de réduire le temps d'exécution, je n'ai pas besoin que 100% des fichiers soit copiés depuis l'environnement.
J'observe que les fichiers télé-chargés :
- sont en général des fichiers d'archive en tar.gz;
- ont un nom qui correspond strictement à leur version (exemple: foo.1.2.3.tar.gz),
.. ).