From 76072f28d889e5cbc442e214df3f85119c6e1091 Mon Sep 17 00:00:00 2001
From: cedricAbonnel <cedric@abonnel.fr>
Date: Sun, 19 Nov 2023 19:02:21 +0100
Subject: [PATCH] =?UTF-8?q?All=C3=A8gement=20des=20logs=20lors=20de=20la?=
 =?UTF-8?q?=20copie.=20cp=20-v=20suffit.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 install.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/install.sh b/install.sh
index b29dbae..c2c7efe 100755
--- a/install.sh
+++ b/install.sh
@@ -91,7 +91,6 @@ if [ -e "$file_local_desc" ]; then
     # Copier les fichiers en supprimant les extensions
     for file in $fileslist_local; do
       cp -v "$source_dir/$file" "$destination_dir/" || error "Impossible de copier $source_dir/$file vers $destination_dir/"
-      log "    Copie de $source_dir/$file vers $destination_dir/."
       add_uninstall "$destination_dir/$file"
     done
 
@@ -144,7 +143,6 @@ if [ -e "$file_local_desc" ]; then
     # Copier les fichiers en supprimant les extensions
     for file in $fileslist_local; do
       cp -v "$source_dir/$file" "$destination_dir/" || error "Impossible de fichier $source_dir/$file vers $destination_dir/"
-      log "    Copie de $source_dir/$file vers $destination_dir/"
       add_uninstall "$destination_dir/$file"
     done
 
@@ -199,7 +197,6 @@ if [ -e "$file_local_desc" ]; then
     for file in $fileslist_local; do
       new_name="${file%.*}"  # Supprimer l'extension
       cp -v "$source_dir/$file" "$destination_dir/$new_name" || error "Impossible de fichier $source_dir/$file vers $destination_dir/$new_nam"
-      log "    Copie de $source_dir/$file vers $destination_dir/$new_name"
       add_uninstall "$destination_dir/$new_name"
     done