erreur sur wget

This commit is contained in:
2026-03-18 08:22:29 +01:00
parent 2540a96a1e
commit d48cb923eb
2 changed files with 3 additions and 4 deletions

View File

@@ -104,7 +104,7 @@ download_and_install() {
purge_obsolete_files() {
info "Analyse des fichiers obsolètes (Synchronisation avec Git)..."
# On scanne bin, lib et conf
find "${BASE_DIR}/bin" "${BASE_DIR}/lib" "${BASE_DIR}/conf" -type f | while read -r local_file; do
find "${BASE_DIR}/bin" "${BASE_DIR}/lib" "${BASE_DIR}/conf" -type f 2>/dev/null | while read -r local_file; do
local rel_path="${local_file#$BASE_DIR/}"
@@ -113,8 +113,7 @@ purge_obsolete_files() {
continue
fi
# Si le fichier n'est pas dans le manifeste validé, on le supprime
if ! grep -qW "$rel_path" "${TMP_DIR}/manifest-valid.txt"; then
if ! grep -qw "$rel_path" "${TMP_DIR}/manifest-valid.txt"; then
warn "Suppression : $rel_path (absent du dépôt)"
rm -f "$local_file"
fi