From fc1f36d149e0a1b178754c95e6b112c4a0d2bfa4 Mon Sep 17 00:00:00 2001 From: btatu Date: Tue, 30 May 2017 15:54:18 +0200 Subject: [PATCH] add advice to force clean --- HowtoCustomLiveCD.md | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/HowtoCustomLiveCD.md b/HowtoCustomLiveCD.md index bfff351d..73ed5af2 100644 --- a/HowtoCustomLiveCD.md +++ b/HowtoCustomLiveCD.md @@ -181,7 +181,9 @@ wodim -dev /dev/cdrom binary.iso ## Astuces -Nous recommandons d'installer et configurer un cache local avec le paquet `apt-cacher-ng`. Cela va permettre d'accélérer sa construction. Voici la procédure à suivre : +### Accélérer la construction via le cache + +Nous recommandons d'installer et configurer un cache local avec le paquet `apt-cacher-ng`. ~~~ apt install apt-cacher-ng @@ -191,3 +193,12 @@ lb config --apt-http-proxy http://127.0.0.1:3142/ ~~~ La dernière commande va mettre à jour le fichier config/common. + +## Supprimer totalement le cache + +Si l'on fait de grande modification, comme la volonté de changer de version, alors il faut supprimer les fichiers ci-dessous : + +~~~ +rm -f config/binary config/bootstrap config/build config/chroot config/common config/source +rm -Rf config/includes config/includes.bootstrap config/includes.source +~~~