Compare commits
No commits in common. "2349139cedf4bdcb53e2a7c06e32e732d7a5ea67" and "e7f4ff842e3997c6c823d6593a2f1b8644f3ddbf" have entirely different histories.
2349139ced
...
e7f4ff842e
38
install.sh
38
install.sh
|
@ -14,10 +14,8 @@ error() {
|
||||||
|
|
||||||
# Fonction pour enregistrer les messages de journal
|
# Fonction pour enregistrer les messages de journal
|
||||||
log() {
|
log() {
|
||||||
if [ -n "$1" ]; then
|
|
||||||
echo "$(date '+%Y-%m-%d %H:%M:%S') - $$ - $1" >> "$log_file"
|
echo "$(date '+%Y-%m-%d %H:%M:%S') - $$ - $1" >> "$log_file"
|
||||||
echo "$1"
|
echo "$1"
|
||||||
fi
|
|
||||||
}
|
}
|
||||||
|
|
||||||
create_dir() {
|
create_dir() {
|
||||||
|
@ -45,25 +43,17 @@ add_uninstall() {
|
||||||
if ! grep -q "$fichier_a_supprimer" "$uninstall_list"; then
|
if ! grep -q "$fichier_a_supprimer" "$uninstall_list"; then
|
||||||
# Ajouter le fichier à uninstall_list
|
# Ajouter le fichier à uninstall_list
|
||||||
echo "$fichier_a_supprimer" >> "$uninstall_list"
|
echo "$fichier_a_supprimer" >> "$uninstall_list"
|
||||||
log "$fichier_a_supprimer" ajouté à la liste de fichiers installés
|
|
||||||
fi
|
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"
|
log "Debut du script"
|
||||||
|
|
||||||
## Post traitement : log
|
## Post traitement : log
|
||||||
|
|
||||||
|
|
||||||
# S'assurer que le répertoire de destination existe, sinon, le créer
|
# S'assurer que le répertoire de destination existe, sinon, le créer
|
||||||
create_dir "${log_dir}"
|
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
|
# 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/" 2>&1 | while read -r line; do
|
cp -v "$source_dir/$file" "$destination_dir/" || error "Impossible de copier $source_dir/$file vers $destination_dir/"
|
||||||
log "$line"
|
|
||||||
done
|
|
||||||
add_uninstall "$destination_dir/$file"
|
add_uninstall "$destination_dir/$file"
|
||||||
done
|
done
|
||||||
|
|
||||||
|
@ -128,22 +116,20 @@ file_local_desc=.config/files_local-share-man
|
||||||
|
|
||||||
## Traitement ##
|
## 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
|
# S'assurer que le répertoire de destination existe, sinon, le créer
|
||||||
create_dir "$destination_dir"
|
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
|
# Vérifier si le répertoire destination est déjà dans le PATH
|
||||||
if [[ ! ":$(manpath):" == *":$destination_dir:"* ]]; then
|
if [[ ! ":$(manpath):" == *":$destination_dir:"* ]]; then
|
||||||
# Ajouter le répertoire destination au PATH dans le fichier de configuration de session de l'utilisateur
|
# Ajouter le répertoire destination au PATH dans le fichier de configuration de session de l'utilisateur
|
||||||
echo 'export MANPATH="$(manpath):'"$destination_dir"'"' >> ~/.bashrc
|
echo 'export MANPATH="$(manpath):'"$destination_dir"'"' >> ~/.bashrc
|
||||||
source ~/.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
|
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
|
# Copier sélectivement les fichiers du dépôt Git local
|
||||||
# Vérifier si le fichier "$file_local_desc" existe
|
# Vérifier si le fichier "$file_local_desc" existe
|
||||||
if [ -e "$file_local_desc" ]; then
|
if [ -e "$file_local_desc" ]; then
|
||||||
|
@ -155,9 +141,7 @@ 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/man1/" 2>&1 | while read -r line; do
|
cp -v "$source_dir/$file" "$destination_dir/man1/" || error "Impossible de fichier $source_dir/$file vers $destination_dir/man1/"
|
||||||
log " $line"
|
|
||||||
done
|
|
||||||
add_uninstall "$destination_dir/man1/$file"
|
add_uninstall "$destination_dir/man1/$file"
|
||||||
done
|
done
|
||||||
|
|
||||||
|
@ -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
|
# Ajouter le répertoire destination au PATH dans le fichier de configuration de session de l'utilisateur
|
||||||
echo 'export PATH="$PATH:'"$destination_dir"'"' >> ~/.bashrc
|
echo 'export PATH="$PATH:'"$destination_dir"'"' >> ~/.bashrc
|
||||||
source ~/.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
|
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
|
# 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
|
# Vérifier si le fichier "$file_local_desc" existe
|
||||||
if [ -e "$file_local_desc" ]; then
|
if [ -e "$file_local_desc" ]; then
|
||||||
|
@ -206,14 +190,12 @@ if [ -e "$file_local_desc" ]; then
|
||||||
fileslist_local=$(cat "$file_local_desc")
|
fileslist_local=$(cat "$file_local_desc")
|
||||||
|
|
||||||
# Utilisez la commande rsync pour copier les fichiers
|
# 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
|
# Copier les fichiers en supprimant les extensions
|
||||||
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" 2>&1 | while read -r line; do
|
cp -v "$source_dir/$file" "$destination_dir/$new_name" || error "Impossible de fichier $source_dir/$file vers $destination_dir/$new_nam"
|
||||||
log " $line"
|
|
||||||
done
|
|
||||||
add_uninstall "$destination_dir/$new_name"
|
add_uninstall "$destination_dir/$new_name"
|
||||||
done
|
done
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue