From 278e40439d87ed6188432579959a4d8d1fa4e726 Mon Sep 17 00:00:00 2001
From: cedricAbonnel <cedric@abonnel.fr>
Date: Tue, 9 Jan 2024 08:47:07 +0100
Subject: [PATCH] =?UTF-8?q?Les=20scripts=20conservaient=20leur=20extension?=
 =?UTF-8?q?=20sh=20lors=20de=20la=20copie.=20Ce=20qui=20n'=C3=A9tait=20pas?=
 =?UTF-8?q?=20voulu.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 install.sh | 20 +++++++++++++++-----
 1 file changed, 15 insertions(+), 5 deletions(-)

diff --git a/install.sh b/install.sh
index 6335530..3cf920a 100755
--- a/install.sh
+++ b/install.sh
@@ -85,15 +85,25 @@ process_deployment_files() {
         # Récupérer des fichiers installés
         fileslist_local=$(cat "$file_desc")
 
-        # Utilisez la commande rsync pour copier les fichiers
+        # Copie des fichiers listés dans $file_desc
         log "Copie des fichiers listés dans $file_desc."
 
         # Copier les fichiers en supprimant les extensions
         for file in $fileslist_local; do
-            cp -v "$source/$file" "$destination/" 2>&1 | while read -r line; do
+            # debut Supprimer l'extension du nom de fichier si c'est un Bash Script
+            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
+            # fin
+            cp -v "$source/$file" "$destination/$file_dest" 2>&1 | while read -r line; do
                 log "- $line"
             done
-            add_uninstall "$destination/$file"
+            add_uninstall "$destination/$file_dest"
         done
     else
         error "Le fichier '$file_desc' n'existe pas. Votre dépôt Git local n'est pas complet ou quelque chose s'est mal passé."
@@ -145,7 +155,7 @@ process_deployment_files "$destination_dir" "$source_dir" "$file_local_desc"
 
 ## Declarations ##
 
-# Spécifier le chemin du répertoire ~/.local/bin
+# Spécifier le chemin du répertoire
 destination_dir="$HOME/.local/share/man"
 
 # Spécifier le chemin du répertoire du dépôt Git local
@@ -173,7 +183,7 @@ process_deployment_files "$destination_dir" "$source_dir" "$file_local_desc"
 
 ## Declarations ##
 
-# Spécifier le chemin du répertoire ~/.local/bin
+# Spécifier le chemin du répertoire
 destination_dir="$HOME/.local/bin"
 
 # Spécifier le chemin du répertoire du dépôt Git local