Compare commits

..

No commits in common. "2349139cedf4bdcb53e2a7c06e32e732d7a5ea67" and "e7f4ff842e3997c6c823d6593a2f1b8644f3ddbf" have entirely different histories.

1 changed files with 14 additions and 32 deletions

View File

@ -14,10 +14,8 @@ 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() {
@ -45,25 +43,17 @@ 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
}
purge_old_logs(){
find "$log_dir" -type f -name "a5l-scripts_bash-*.log" -mtime +10 -exec rm {} \;
find "$log_dir" -type f -name "a5l-scripts_bash_prep-*.log" -mtime +10 -exec rm {} \;
}
log "Debut du script"
## Post traitement : log
# S'assurer que le répertoire de destination existe, sinon, le créer
create_dir "${log_dir}"
# Purger les les logs
purge_old_logs
@ -99,9 +89,7 @@ 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/" 2>&1 | while read -r line; do
log "$line"
done
cp -v "$source_dir/$file" "$destination_dir/" || error "Impossible de copier $source_dir/$file vers $destination_dir/"
add_uninstall "$destination_dir/$file"
done
@ -128,22 +116,20 @@ file_local_desc=.config/files_local-share-man
## Traitement ##
log "Debut du Traitement $destination_dir"
log "Debut du Traitement pour $destination_dir"
# S'assurer que le répertoire de destination existe, sinon, le créer
create_dir "$destination_dir"
log "Debut du Traitement pour la gestion du PATH avec $destination_dir"
# Vérifier si le répertoire destination est déjà dans le PATH
if [[ ! ":$(manpath):" == *":$destination_dir:"* ]]; then
# Ajouter le répertoire destination au PATH dans le fichier de configuration de session de l'utilisateur
echo 'export MANPATH="$(manpath):'"$destination_dir"'"' >> ~/.bashrc
source ~/.bashrc
log " $destination_dir a été ajouté au MANPATH dans le fichier de configuration de session de l'utilisateur."
log " _ $destination_dir a été ajouté au MANPATH dans le fichier de configuration de session de l'utilisateur."
fi
log "Debut du 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
@ -151,18 +137,16 @@ 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/" 2>&1 | while read -r line; do
log " $line"
done
cp -v "$source_dir/$file" "$destination_dir/man1/" || error "Impossible de fichier $source_dir/$file vers $destination_dir/man1/"
add_uninstall "$destination_dir/man1/$file"
done
else
error " Le fichier '$file_local_desc' n'existe pas. Votre dépôt Git local n'est pas complet ou quelque chose s'est mal passé."
error "Le fichier '$file_local_desc' n'existe pas. Votre dépôt Git local n'est pas complet ou quelque chose s'est mal passé."
fi
@ -195,10 +179,10 @@ if [[ ! ":$PATH:" == *":$destination_dir:"* ]]; then
# Ajouter le répertoire destination au PATH dans le fichier de configuration de session de l'utilisateur
echo 'export PATH="$PATH:'"$destination_dir"'"' >> ~/.bashrc
source ~/.bashrc
log " $destination_dir a été ajouté au PATH dans le fichier de configuration de session de l'utilisateur."
log " _ $destination_dir a été ajouté au PATH 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 vers ~/.local/bin en préservant la structure
# Vérifier si le fichier "$file_local_desc" existe
if [ -e "$file_local_desc" ]; then
@ -206,14 +190,12 @@ 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 .config/files_local-bin"
log " Copie des fichiers"
# 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" 2>&1 | while read -r line; do
log " $line"
done
cp -v "$source_dir/$file" "$destination_dir/$new_name" || error "Impossible de fichier $source_dir/$file vers $destination_dir/$new_nam"
add_uninstall "$destination_dir/$new_name"
done