diff --git a/scripts/_common.sh b/scripts/_common.sh index 9ebbd77..f8aacb9 100644 --- a/scripts/_common.sh +++ b/scripts/_common.sh @@ -95,7 +95,8 @@ UPDATE_SOURCE_ZIP () { # Télécharge la source, décompresse et copie dans $fin 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"