diff --git a/scripts/_common.sh b/scripts/_common.sh index 858b85c..1f3f373 100644 --- a/scripts/_common.sh +++ b/scripts/_common.sh @@ -76,7 +76,7 @@ SETUP_SOURCE_ZIP () { # Télécharge la source, décompresse et copie dans $fina temp_dir=$(mktemp -d) unzip -quo source.zip -d $temp_dir # On passe par un dossier temporaire car unzip ne permet pas d'ignorer le dossier parent. sudo cp -a $temp_dir/*/. $final_path - sudo rm -r $temp_dir + #sudo rm -r $temp_dir # Copie les fichiers additionnels ou modifiés. if test -e "../sources/ajouts"; then sudo cp -a ../sources/ajouts/. "$final_path"