03b9505634
- set -uo pipefail : variables non définies et erreurs de pipe détectées - grep -qF : chaîne fixe (le '.' des chemins n'est plus un wildcard regex) - cp sans pipe : erreurs de copie détectées et remontées via error() - add_to_bashrc() : idempotent, évite les doublons dans ~/.bashrc - Validation des noms de fichiers : rejet des traversées de chemin (../) - Vérification du répertoire de travail en début de script - Suppression des commentaires de refactoring (#Point X) Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
154 lines
4.8 KiB
Bash
Executable File
154 lines
4.8 KiB
Bash
Executable File
#!/bin/bash
|
|
set -uo pipefail
|
|
|
|
# Script Bash - install.sh
|
|
# Auteur : Cédric Abonnel
|
|
# Description : Script d'installation des exécutables dans le répertoire '~/.local'
|
|
|
|
# Vérification du répertoire de travail (sécurité point 3)
|
|
[[ ! -d "local/bin" ]] && { echo "Erreur : lancer depuis la racine du projet scripts-bash"; exit 1; }
|
|
|
|
log_dir="${XDG_STATE_HOME:-$HOME/.local/state}/scripts-bash"
|
|
mkdir -p "$log_dir"
|
|
log_file="${log_dir}/a5l-scripts_bash-$(date '+%Y%m%d-%H%M%S')-$$.log"
|
|
|
|
error() {
|
|
local msg="$1"
|
|
log "ERREUR: $msg"
|
|
echo "Erreur: $msg"
|
|
exit 1
|
|
}
|
|
|
|
log() {
|
|
if [ -n "$1" ]; then
|
|
echo "$(date '+%Y-%m-%d %H:%M:%S') - $$ - $1" >> "$log_file"
|
|
echo "$1"
|
|
fi
|
|
}
|
|
|
|
create_dir() {
|
|
log "Tentative de création du dossier $1"
|
|
if [ ! -d "$1" ]; then
|
|
mkdir -p "$1" || error "Impossible de créer le répertoire $1"
|
|
log " _ Le répertoire $1 a été créé."
|
|
else
|
|
log " _ Le répertoire $1 existe déjà."
|
|
fi
|
|
}
|
|
|
|
add_uninstall() {
|
|
local uninstall_list="${XDG_DATA_HOME:-$HOME/.local/share}/scripts-bash/uninstall-list"
|
|
mkdir -p "$(dirname "$uninstall_list")"
|
|
test -f "${uninstall_list}" || touch "${uninstall_list}"
|
|
|
|
local fichier_a_supprimer="$1"
|
|
# -F : chaîne fixe, pas regex — le '.' dans les chemins ne doit pas être un wildcard
|
|
if ! grep -qF "$fichier_a_supprimer" "$uninstall_list"; then
|
|
echo "$fichier_a_supprimer" >> "$uninstall_list"
|
|
log "- Le fichier '$fichier_a_supprimer' ajouté à la liste de fichiers installés"
|
|
fi
|
|
}
|
|
|
|
# Idempotent : n'ajoute la ligne dans ~/.bashrc que si elle n'y est pas déjà
|
|
add_to_bashrc() {
|
|
local line="$1"
|
|
if ! grep -qF "$line" ~/.bashrc; then
|
|
echo "$line" >> ~/.bashrc
|
|
return 0
|
|
fi
|
|
return 1
|
|
}
|
|
|
|
process_deployment_files() {
|
|
local destination="$1"
|
|
local source="$2"
|
|
local file_desc="$3"
|
|
|
|
log "### Déploiement des fichiers pour $destination"
|
|
create_dir "$destination"
|
|
|
|
log "Vérification de l'existence de '$file_desc'"
|
|
[ ! -e "$file_desc" ] && error "Le fichier '$file_desc' n'existe pas. Votre dépôt Git local n'est pas complet."
|
|
|
|
log "Copie des fichiers listés dans $file_desc."
|
|
mapfile -t fileslist_local < "$file_desc"
|
|
for file in "${fileslist_local[@]}"; do
|
|
# Rejet des traversées de chemin et noms absolus
|
|
[[ "$file" == *"/"* ]] && error "Nom de fichier invalide (chemin interdit) : '$file'"
|
|
|
|
local file_type file_dest cp_out
|
|
file_type=$(file -b "$source/$file")
|
|
if [[ "$file_type" == *"Bourne-Again shell script"* ]]; then
|
|
log "$file est un fichier Bash."
|
|
file_dest="${file%.*}"
|
|
log "Nom de fichier sans extension : $file_dest"
|
|
else
|
|
file_dest="${file}"
|
|
fi
|
|
|
|
# Capture séparée sortie/statut : pas de pipe qui masquerait les erreurs de cp
|
|
if ! cp_out=$(cp -v "$source/$file" "$destination/$file_dest" 2>&1); then
|
|
error "Échec de la copie de '$file' vers '$destination/$file_dest' : $cp_out"
|
|
fi
|
|
log "- $cp_out"
|
|
|
|
add_uninstall "$destination/$file_dest"
|
|
done
|
|
|
|
log "Les fichiers du dépôt Git local ont été copiés vers $destination avec succès."
|
|
}
|
|
|
|
purge_old_logs() {
|
|
find "$log_dir" -type f -name "a5l-*.log" -mtime +10 -exec rm {} \;
|
|
}
|
|
|
|
log "Debut du script"
|
|
purge_old_logs
|
|
|
|
declare -a SRCS=(
|
|
"local/share/ytdll"
|
|
"local/share/ytdll/lib"
|
|
"local/share/doc/scripts-bash"
|
|
"local/share/man/man1"
|
|
"local/bin"
|
|
)
|
|
declare -a DSTS=(
|
|
"$HOME/.local/share/ytdll"
|
|
"$HOME/.local/share/ytdll/lib"
|
|
"$HOME/.local/share/doc/scripts-bash"
|
|
"$HOME/.local/share/man/man1"
|
|
"$HOME/.local/bin"
|
|
)
|
|
declare -a DESCS=(
|
|
".config/files_local-share-ytdll"
|
|
".config/files_local-share-ytdll-lib"
|
|
".config/files_local-share-doc"
|
|
".config/files_local-share-man"
|
|
".config/files_local-bin"
|
|
)
|
|
|
|
for i in "${!SRCS[@]}"; do
|
|
log "## Debut du traitement pour ${DSTS[$i]}"
|
|
process_deployment_files "${DSTS[$i]}" "${SRCS[$i]}" "${DESCS[$i]}"
|
|
done
|
|
|
|
# Ajout de ~/.local/share/man au MANPATH (idempotent, sans source inutile)
|
|
manpath_parent="$HOME/.local/share/man"
|
|
if [[ ! ":$(manpath):" == *":$manpath_parent:"* ]]; then
|
|
manpath_line='export MANPATH="$(manpath):'"$manpath_parent"'"'
|
|
if add_to_bashrc "$manpath_line"; then
|
|
log " $manpath_parent ajouté au MANPATH dans ~/.bashrc. Rechargez votre terminal pour appliquer."
|
|
fi
|
|
fi
|
|
|
|
# Ajout de ~/.local/bin au PATH (idempotent, sans source inutile)
|
|
bin_dir="$HOME/.local/bin"
|
|
if [[ ! ":$PATH:" == *":$bin_dir:"* ]]; then
|
|
path_line='export PATH="$PATH:'"$bin_dir"'"'
|
|
if add_to_bashrc "$path_line"; then
|
|
log " $bin_dir ajouté au PATH dans ~/.bashrc. Rechargez votre terminal pour appliquer."
|
|
fi
|
|
fi
|
|
|
|
log "## Fin du script. Bonne continuation."
|