forcer la création de la destination. afficher un message informatif

2015-04-13 15:40:16 +04:00
parent 6890d30aef
commit 8f6a32be53
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@@ -61,4 +61,6 @@ fi
 estep "Création de $(ppath "$dest")"
 git archive -o "$dest" --prefix="$name${version:+-$version}/" HEAD || die
 [ -n "$gzip" ] || exit 0
-gzip "$dest"
+
+estep "Compression de l'archive"
+gzip -f "$dest"