scripts-bash/prep.sh

118 lines
3.5 KiB
Bash
Raw Normal View History

#!/bin/bash
# Spécifier le chemin du fichier journal
log_dir="$HOME/log"
log_file="${log_dir}/a5l-scripts_bash_prep-$(date '+%Y%m%d-%H%M%S')-$$.log"
# Fonction pour afficher un message d'erreur et quitter le script en cas d'erreur
error() {
local error_message="$1"
log "ERREUR: $error_message"
echo "Erreur: $error_message"
exit 1
}
# Fonction pour enregistrer les messages de journal
log() {
echo "$(date '+%Y-%m-%d %H:%M:%S') - $$ - $1" >> "$log_file"
echo "$1"
}
create_dir() {
# S'assurer que le répertoire de destination existe, sinon, le créer
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
}
log "Lister les fichiers présents dans local/bin"
ls local/bin/ -c1 >.config/files_local-bin
########
# 1. Lister des fichiers dans local/share/doc
# 2. Générer les fichiers man dans local/share/man
# 3. Lister des fichiers dans local/share/man
# Spécifier le chemin du répertoire du dépôt Git local
source_dir="local/share/doc"
# Spécifier le chemin du répertoire
destination_dir="local/share/man"
create_dir "$destination_dir"
log "Lister les fichiers présents dans local/share/doc"
ls "$source_dir/" -c1 >.config/files_local-share-doc
log "Creer les pages MAN"
file_local_desc=.config/files_local-share-doc
# Répertoire local/share/man
## Vérifier si Pandoc est installé
if ! command -v pandoc &> /dev/null; then
log "Pandoc n'est pas installé."
# Vérifier la distribution pour utiliser le gestionnaire de paquets approprié
if [ -x "$(command -v dnf)" ]; then
log "Installation de Pandoc via DNF (Red Hat)..."
sudo dnf install -y pandoc
elif [ -x "$(command -v yum)" ]; then
log "Installation de Pandoc via YUM (Red Hat)..."
sudo dnf install -y pandoc
elif [ -x "$(command -v apt)" ]; then
log "Installation de Pandoc via APT (Debian)..."
sudo apt update && sudo apt install -y pandoc
else
error "Le gestionnaire de paquets n'est pas pris en charge."
fi
# Vérifier à nouveau si Pandoc est installé
if ! command -v pandoc &> /dev/null; then
error "L'installation de Pandoc a échoué."
else
log "Pandoc a été installé avec succès."
fi
fi
log " Traitement des fichiers à copier dans $destination_dir"
# Génération des fihciers man
log " Vérifier si le fichier $file_local_desc existe"
if [ -e "$file_local_desc" ]; then
log " Récupérer des fichiers installés"
fileslist_local=$(cat $file_local_desc)
log " Créer la page man"
for file in $fileslist_local; do
new_name="${file%.*}" # Supprimer l'extension md
if [ -f "$source_dir/$file" ]; then
pandoc -s "$source_dir/$file" -t man -o "$destination_dir/$new_name" || error "Impossible de créer la page 'man' $destination_dir/$new_name depuis $source_dir/$file"
log " Creation de la page MAN $destination_dir/$new_name depuis $source_dir/$file"
fi
done
else
error " Le fichier $file_local_desc est introuvable."
fi
log "Lister les fichiers présents dans local/share/man"
ls local/share/man/ -c1 >.config/files_local-share-man
2023-11-30 00:51:00 +01:00
## Résumé des DOC
for fichier in local/share/doc/*.md; do
echo "Résumé pour $fichier :"
awk '/DESCRIPTION/{flag=1; next} /^$/{flag=0} flag' "$fichier"
echo "..."
done