From 8f1fb91ee99bc2bfd86187788bf6b76e9e3a93cf Mon Sep 17 00:00:00 2001 From: plabuse Date: Sun, 9 Apr 2017 19:00:27 +0200 Subject: [PATCH] Pour avoir ur debug --- scripts/_common.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"