cedricAbonnel
/
scripts-bash
1
0
Fork 0
Code Issues 2 Pull Requests Packages Projects Releases Wiki Activity

Prise en compte de la liste des fichiers à copier. Ajouter d'un logfile.

This commit is contained in:
Cédric Abonnel 2023-11-19 09:40:42 +01:00
parent beef91b263
commit d22b6dee87
1 changed files with 36 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
install.sh Executable file → Normal file
View File

@ -1,41 +1,57 @@
#!/bin/bash #!/bin/bash
# Spécifiez le chemin du répertoire du dépôt Git local # Spécifier le chemin du répertoire du dépôt Git local
repository_dir="local/bin" repository_dir="local/bin"
# Spécifiez le chemin du répertoire ~/.local/bin # Spécifier le chemin du répertoire ~/.local/bin
destination_dir="$HOME/.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"
# Vérifiez si le répertoire destination est déjà dans le PATH # Fonction pour enregistrer les messages de journal
log() {
echo "$(date '+%Y-%m-%d %H:%M:%S') - $$ - $1" >> "$log_file"
}
# Récupérer des fichiers installés
./prep.sh
files_local_bin=$(cat files_local-bin)
# Vérifier si le répertoire destination est déjà dans le PATH
if [[ ":$PATH:" == *":$destination_dir:"* ]]; then if [[ ":$PATH:" == *":$destination_dir:"* ]]; then
echo "$destination_dir est déjà dans le PATH." log "$destination_dir est déjà dans le PATH."
else else
# Ajoutez le répertoire destination au PATH dans le fichier de configuration de session de l'utilisateur # Ajouter le répertoire destination au PATH dans le fichier de configuration de session de l'utilisateur
echo 'export PATH="$PATH:'"$destination_dir"'"' >> ~/.bashrc echo 'export PATH="$PATH:'"$destination_dir"'"' >> ~/.bashrc
source ~/.bashrc source ~/.bashrc
echo "$destination_dir a été ajouté au PATH dans le fichier de configuration de session de l'utilisateur." log "$destination_dir a été ajouté au PATH dans le fichier de configuration de session de l'utilisateur."
fi fi
# S'assurer que le répertoire de destination existe, sinon, le créer
# Assurez-vous que le répertoire de destination existe, sinon, créez-le
if [ ! -d "$destination_dir" ]; then if [ ! -d "$destination_dir" ]; then
mkdir -p "$destination_dir" mkdir -p "$destination_dir"
log "Le répertoire $destination_dir a été créé."
fi fi
# Copier sélectivement les fichiers du dépôt Git local vers ~/.local/bin en préservant la structure
# Vérifier si le fichier "files_local-bin" existe
if [ -e "files_local-bin" ]; then
# Utilisez la commande rsync pour copier les fichiers
rsync -av --files-from=files_local-bin "$repository_dir/" "$destination_dir/"
# Copiez sélectivement les fichiers du dépôt Git local vers ~/.local/bin en préservant la structure # Renommez les fichiers en supprimant les extensions
# Exécutez rsync pour copier les fichiers du dépôt Git local vers ~/.local/bin for file in $files_local_bin; do
copied_files=$(rsync -av --include='*.sh' --include='*.py' --include='*.pl' "$repository_dir/" "$destination_dir/" | grep -v '/$') if [ -f "$destination_dir/$file" ]; then
new_name="${file%.*}" # Supprimer l'extension
# Renommez les fichiers en supprimant les extensions mv -v "$destination_dir/$file" "$destination_dir/$new_name"
for file in $copied_files; do log "Le fichier $file a été renommé en $new_name."
if [ -f "$destination_dir/$file" ]; then fi
new_name="${file%.*}" # Supprimer l'extension done
mv -v "$destination_dir/$file" "$destination_dir/$new_name"
fi
done
else
log "Le fichier 'files_local-bin' n'existe pas. Votre dépôt Git local n'est pas complet ou quelque chose s'est mal passé."
fi
# Affiche un message de confirmation # Affiche un message de confirmation
echo "Les fichiers du dépôt Git local ont été copiés vers $destination_dir avec succès." log "Les fichiers du dépôt Git local ont été copiés vers $destination_dir avec succès."