From 31416fa58fa08cd223692a8a4d3e34fb20724565 Mon Sep 17 00:00:00 2001 From: cedricAbonnel Date: Sun, 19 Nov 2023 10:02:28 +0100 Subject: [PATCH] Documentation de README --- README.md | 11 +++++++++++ install.sh | 18 ++++++++++++++++-- 2 files changed, 27 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 42ec113..34eaf63 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,17 @@ # scripts-bash Some bash scripts +Le script `install.sh` a été créé pour automatiser le processus de copie de fichiers depuis un dépôt Git local vers un répertoire local, en préservant la structure des fichiers et en renommant les fichiers pour supprimer leurs extensions. Le script a également la capacité d'ajouter le répertoire de destination au chemin d'accès (PATH) de l'utilisateur. + + +1. Clonez ce dépôt Git +2. Assurez-vous que le script est exécutable en utilisant la commande `chmod +x copy_files.sh`. +3. Exécutez le script en utilisant `./copy_files.sh`. + +Toutes les opérations et les messages d'erreur sont enregistrés dans un fichier journal (`~/log/copy_files.log`) situé dans le répertoire personnel de l'utilisateur. Le journal comprend la date, l'heure, le numéro de processus (PID) et les messages d'exécution du script. + +Voici un aperçu des commandes. + ## convertPDF Create a new PDF with `pdf2cairo` and `convert`, create a file text with OCR `Tresseract`, and create an other PDF file with `gs` tool. Apply on all pdf files in the current folder. diff --git a/install.sh b/install.sh index 7633628..bf0ef4e 100755 --- a/install.sh +++ b/install.sh @@ -7,7 +7,8 @@ repository_dir="local/bin" destination_dir="$HOME/.local/bin" # Spécifier le chemin du fichier journal -log_file="$HOME/copy_files_$(date '+%Y%m%d-%H%M%S')_$$.log" +log_dir="$HOME/log" +log_file="${log_dir}/copy_files_$(date '+%Y%m%d-%H%M%S')_$$.log" # Fonction pour afficher un message d'erreur et quitter le script en cas d'erreur error() { @@ -22,6 +23,19 @@ log() { echo "$(date '+%Y-%m-%d %H:%M:%S') - $$ - $1" >> "$log_file" } + +## Post traitement : log + +# S'assurer que le répertoire de destination existe, sinon, le créer +if [ ! -d "$log_dir" ]; then + mkdir -p "$log_dir" || error "Impossible de créer le répertoire $log_dir" + log " _ Le répertoire $log_dir a été créé." +fi + + + +## Traitement de .local/bin + # Récupérer des fichiers installés ./prep.sh files_local_bin=$(cat files_local-bin) @@ -62,4 +76,4 @@ else fi # Affiche un message de confirmation -log "Les fichiers du dépôt Git local ont été copiés vers $destination_dir avec succe_s." +log "Les fichiers du dépôt Git local ont été copiés vers $destination_dir avec succès."