Les logs sont d'installation sont plus parlant.

Ils integrent les chemins des fichiers copiés.
This commit is contained in:
Cédric Abonnel 2023-12-01 00:32:42 +01:00
parent e7f4ff842e
commit 2a64bc6d01
1 changed files with 17 additions and 8 deletions

View File

@ -14,8 +14,10 @@ error() {
# Fonction pour enregistrer les messages de journal
log() {
if [ -n "$1" ]; then
echo "$(date '+%Y-%m-%d %H:%M:%S') - $$ - $1" >> "$log_file"
echo "$1"
fi
}
create_dir() {
@ -43,6 +45,7 @@ add_uninstall() {
if ! grep -q "$fichier_a_supprimer" "$uninstall_list"; then
# Ajouter le fichier à uninstall_list
echo "$fichier_a_supprimer" >> "$uninstall_list"
log "$fichier_a_supprimer" ajouté à la liste de fichiers installés
fi
}
@ -89,7 +92,9 @@ 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/"
cp -v "$source_dir/$file" "$destination_dir/" 2>&1 | while read -r line; do
log "$line"
done
add_uninstall "$destination_dir/$file"
done
@ -129,7 +134,7 @@ if [[ ! ":$(manpath):" == *":$destination_dir:"* ]]; then
log " _ $destination_dir a été ajouté au MANPATH dans le fichier de configuration de session de l'utilisateur."
fi
log " _ Traitement des fichiers à copier dans $destination_dir"
log "Traitement des fichiers à copier dans $destination_dir"
# Copier sélectivement les fichiers du dépôt Git local
# Vérifier si le fichier "$file_local_desc" existe
if [ -e "$file_local_desc" ]; then
@ -137,11 +142,13 @@ if [ -e "$file_local_desc" ]; then
fileslist_local=$(cat "$file_local_desc")
# Utilisez la commande rsync pour copier les fichiers
log " Copie des fichiers listés dans $file_local_desc"
log " _ Copie des fichiers listés dans $file_local_desc"
# Copier les fichiers en supprimant les extensions
for file in $fileslist_local; do
cp -v "$source_dir/$file" "$destination_dir/man1/" || error "Impossible de fichier $source_dir/$file vers $destination_dir/man1/"
cp -v "$source_dir/$file" "$destination_dir/man1/" 2>&1 | while read -r line; do
log "$line"
done
add_uninstall "$destination_dir/man1/$file"
done
@ -190,12 +197,14 @@ if [ -e "$file_local_desc" ]; then
fileslist_local=$(cat "$file_local_desc")
# Utilisez la commande rsync pour copier les fichiers
log " Copie des fichiers"
log " Copie des fichiers listés dans .config/files_local-bin"
# Copier les fichiers en supprimant les extensions
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"
cp -v "$source_dir/$file" "$destination_dir/$new_name" 2>&1 | while read -r line; do
log "$line"
done
add_uninstall "$destination_dir/$new_name"
done