This commit is contained in:
Cédric Abonnel 2023-11-30 00:52:32 +01:00
commit 9cfa91532b
1 changed files with 207 additions and 207 deletions

View File

@ -1,207 +1,207 @@
#!/bin/bash #!/bin/bash
# Spécifier le chemin du fichier journal # Spécifier le chemin du fichier journal
log_dir="$HOME/log" log_dir="$HOME/log"
log_file="${log_dir}/a5l-scripts_bash-$(date '+%Y%m%d-%H%M%S')-$$.log" log_file="${log_dir}/a5l-scripts_bash-$(date '+%Y%m%d-%H%M%S')-$$.log"
# Fonction pour afficher un message d'erreur et quitter le script en cas d'erreur # Fonction pour afficher un message d'erreur et quitter le script en cas d'erreur
error() { error() {
local error_message="$1" local error_message="$1"
log "ERREUR: $error_message" log "ERREUR: $error_message"
echo "Erreur: $error_message" echo "Erreur: $error_message"
exit 1 exit 1
} }
# Fonction pour enregistrer les messages de journal # Fonction pour enregistrer les messages de journal
log() { log() {
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"
} }
create_dir() { create_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
log "Tentative de création du dossier $1" log "Tentative de création du dossier $1"
if [ ! -d "$1" ]; then if [ ! -d "$1" ]; then
mkdir -p "$1" || error "Impossible de créer le répertoire $1" mkdir -p "$1" || error "Impossible de créer le répertoire $1"
log " _ Le répertoire $1 a été créé." log " _ Le répertoire $1 a été créé."
else else
log " _ Le répertoire $1 existe déjà." log " _ Le répertoire $1 existe déjà."
fi fi
} }
add_uninstall() { add_uninstall() {
## Create or update uninstall script ## Create or update uninstall script
uninstall_list=$HOME/.config/a5l_scripts-bash_uninstall-list uninstall_list=$HOME/.config/a5l_scripts-bash_uninstall-list
test -f "${uninstall_list}" || touch "${uninstall_list}" test -f "${uninstall_list}" || touch "${uninstall_list}"
local fichier_a_supprimer="$1" local fichier_a_supprimer="$1"
# Vérifier si le fichier de suppression existe déjà dans uninstall_script # Vérifier si le fichier de suppression existe déjà dans uninstall_script
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"
fi fi
} }
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}"
#### .local/share/doc #### #### .local/share/doc ####
## Declarations ## ## Declarations ##
# Spécifier le chemin du répertoire destination # Spécifier le chemin du répertoire destination
destination_dir="$HOME/.local/share/doc" destination_dir="$HOME/.local/share/doc"
# Spécifier le chemin du répertoire du dépôt Git local # Spécifier le chemin du répertoire du dépôt Git local
source_dir="local/share/doc" source_dir="local/share/doc"
file_local_desc=.config/files_local-share-doc file_local_desc=.config/files_local-share-doc
## Traitement ## ## Traitement ##
log "Debut du Traitement pour $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 " _ 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
# Récupérer des fichiers installés # Récupérer des fichiers installés
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 $file_local_desc" log " Copie des fichiers listés dans $file_local_desc"
# 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/"
add_uninstall "$destination_dir/$file" add_uninstall "$destination_dir/$file"
done done
else 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 fi
#### .local/share/man #### #### .local/share/man ####
## Declarations ## ## Declarations ##
# Spécifier le chemin du répertoire ~/.local/bin # Spécifier le chemin du répertoire ~/.local/bin
destination_dir="$HOME/.local/share/man" destination_dir="$HOME/.local/share/man"
# Spécifier le chemin du répertoire du dépôt Git local # Spécifier le chemin du répertoire du dépôt Git local
source_dir="local/share/man" source_dir="local/share/man"
file_local_desc=.config/files_local-share-man file_local_desc=.config/files_local-share-man
## Traitement ## ## Traitement ##
log "Debut du Traitement pour $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"
# 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 " _ 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
# Récupérer des fichiers installés # Récupérer des fichiers installés
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 $file_local_desc" log " Copie des fichiers listés dans $file_local_desc"
# 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/" || error "Impossible de fichier $source_dir/$file vers $destination_dir/man1/" 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" add_uninstall "$destination_dir/man1/$file"
done done
else 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 fi
#### .local/bin #### #### .local/bin ####
## Declarations ## ## Declarations ##
# Spécifier le chemin du répertoire ~/.local/bin # Spécifier le chemin du répertoire ~/.local/bin
destination_dir="$HOME/.local/bin" destination_dir="$HOME/.local/bin"
# Spécifier le chemin du répertoire du dépôt Git local # Spécifier le chemin du répertoire du dépôt Git local
source_dir="local/bin" source_dir="local/bin"
file_local_desc=.config/files_local-bin file_local_desc=.config/files_local-bin
## Traitement ## ## Traitement ##
log "Debut du Traitement pour $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"
# 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 [[ ! ":$PATH:" == *":$destination_dir:"* ]]; then 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
# Récupérer des fichiers installés # Récupérer des fichiers installés
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" 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" || 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"
add_uninstall "$destination_dir/$new_name" add_uninstall "$destination_dir/$new_name"
done done
else 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 fi
# Affiche un message de confirmation # Affiche un message de confirmation
log "Les fichiers du dépôt Git local ont été copiés vers $destination_dir avec succès." log "Les fichiers du dépôt Git local ont été copiés vers $destination_dir avec succès."