refactor: conformité conventions Linux FHS/XDG

- man pages déplacées dans local/share/man/man1/ (man cherche dans man<section>/)
- docs déplacées dans local/share/doc/scripts-bash/ (un sous-dossier par package)
- old-bin/ supprimé (fichiers obsolètes → historique git)
- .config/prep.sh parasite supprimé
- 'liste des scripts.base' renommé en 'liste-des-scripts.base' (pas d'espace)
- prep.sh et install.sh mis à jour pour les nouveaux chemins
This commit is contained in:
2026-04-30 09:02:00 +02:00
parent 479fe9c1f1
commit a646c2f4be
21 changed files with 76 additions and 1249 deletions
+9 -9
View File
@@ -178,10 +178,10 @@ process_deployment_files "$destination_dir" "$source_dir" "$file_local_desc"
## Declarations ##
# Spécifier le chemin du répertoire destination
destination_dir="$HOME/.local/share/doc"
destination_dir="$HOME/.local/share/doc/scripts-bash"
# Spécifier le chemin du répertoire du dépôt Git local
source_dir="local/share/doc"
source_dir="local/share/doc/scripts-bash"
file_local_desc=.config/files_local-share-doc
@@ -198,10 +198,10 @@ process_deployment_files "$destination_dir" "$source_dir" "$file_local_desc"
## Declarations ##
# Spécifier le chemin du répertoire
destination_dir="$HOME/.local/share/man"
destination_dir="$HOME/.local/share/man/man1"
# Spécifier le chemin du répertoire du dépôt Git local
source_dir="local/share/man"
source_dir="local/share/man/man1"
file_local_desc=.config/files_local-share-man
@@ -209,12 +209,12 @@ file_local_desc=.config/files_local-share-man
log "## Debut du traitement pour $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
# man cherche dans $MANPATH/man1/, on ajoute le parent ~/.local/share/man
manpath_parent="$HOME/.local/share/man"
if [[ ! ":$(manpath):" == *":$manpath_parent:"* ]]; then
echo 'export MANPATH="$(manpath):'"$manpath_parent"'"' >> ~/.bashrc
source ~/.bashrc
log " $destination_dir a été ajouté au MANPATH dans le fichier de configuration de session de l'utilisateur."
log " $manpath_parent a été ajouté au MANPATH dans le fichier de configuration de session de l'utilisateur."
fi
process_deployment_files "$destination_dir" "$source_dir" "$file_local_desc"