From 1c4d98e2b68c713f5b9d72a89e1662d628ae46b8 Mon Sep 17 00:00:00 2001 From: plabuse Date: Sun, 9 Apr 2017 18:09:12 +0200 Subject: [PATCH] pour debuger la maj --- scripts/_common.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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"