Compare commits
No commits in common. "73c36ee62427ac8f953a40b4b317df2134a2bd2c" and "fb062731febd424666df251db6d20a1b884c58ce" have entirely different histories.
73c36ee624
...
fb062731fe
414
install.sh
414
install.sh
|
|
@ -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."
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue