L’ancien outil debarchiver que j’utilisais alors se faisait vieux et capricieux, et le repository ne marchait plus. Un nouvel outil aptly est apparu depuis et semble beaucoup plus performant. Voici donc mon nouveau repository :
|
# Add repository sudo echo "deb [arch=amd64] http://www.lprp.fr/debian stable main" > /etc/apt/sources.list.d/lprp.list sudo apt-key adv --keyserver keys.gnupg.net --recv-keys 090B93891134CECB # Install sudo apt-get install libxmldiff |
Ci-dessous quelques indications pour créer un repository aptly
(suite…)