cedricAbonnel
/
scripts-bash
1
0
Fork 0
Code Issues 2 Pull Requests Packages Projects Releases Wiki Activity

Allègement des logs lors de la copie. cp -v suffit.

This commit is contained in:
Cédric Abonnel 2023-11-19 19:02:21 +01:00
parent 29bab4ceaa
commit 76072f28d8
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
install.sh
View File

@ -91,7 +91,6 @@ if [ -e "$file_local_desc" ]; then
# Copier les fichiers en supprimant les extensions # Copier les fichiers en supprimant les extensions
for file in $fileslist_local; do for file in $fileslist_local; do
cp -v "$source_dir/$file" "$destination_dir/" || error "Impossible de copier $source_dir/$file vers $destination_dir/" 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" add_uninstall "$destination_dir/$file"
done done
@ -144,7 +143,6 @@ if [ -e "$file_local_desc" ]; then
# Copier les fichiers en supprimant les extensions # Copier les fichiers en supprimant les extensions
for file in $fileslist_local; do for file in $fileslist_local; do
cp -v "$source_dir/$file" "$destination_dir/" || error "Impossible de fichier $source_dir/$file vers $destination_dir/" 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" add_uninstall "$destination_dir/$file"
done done
@ -199,7 +197,6 @@ if [ -e "$file_local_desc" ]; then
for file in $fileslist_local; do for file in $fileslist_local; do
new_name="${file%.*}" # Supprimer l'extension 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" 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" add_uninstall "$destination_dir/$new_name"
done done