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