Les scripts conservaient leur extension sh lors de la copie.

Ce qui n'était pas voulu.
This commit is contained in:
Cédric Abonnel 2024-01-09 08:47:07 +01:00
parent 0629b4a616
commit 278e40439d
1 changed files with 15 additions and 5 deletions

View File

@ -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