2023-11-15 00:44:49 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
# Spécifiez le chemin du répertoire du dépôt Git local
|
|
|
|
repository_dir="local/bin"
|
|
|
|
|
|
|
|
# Spécifiez le chemin du répertoire ~/.local/bin
|
|
|
|
destination_dir="$HOME/.local/bin"
|
|
|
|
|
|
|
|
|
|
|
|
# Vérifiez si le répertoire destination est déjà dans le PATH
|
|
|
|
if [[ ":$PATH:" == *":$destination_dir:"* ]]; then
|
|
|
|
echo "$destination_dir est déjà dans le PATH."
|
|
|
|
else
|
|
|
|
# Ajoutez le répertoire destination au PATH dans le fichier de configuration de session de l'utilisateur
|
|
|
|
echo 'export PATH="$PATH:'"$destination_dir"'"' >> ~/.bashrc
|
|
|
|
source ~/.bashrc
|
|
|
|
echo "$destination_dir a été ajouté au PATH dans le fichier de configuration de session de l'utilisateur."
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
# Assurez-vous que le répertoire de destination existe, sinon, créez-le
|
|
|
|
if [ ! -d "$destination_dir" ]; then
|
|
|
|
mkdir -p "$destination_dir"
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
|
|
# Copiez sélectivement les fichiers du dépôt Git local vers ~/.local/bin en préservant la structure
|
|
|
|
# Exécutez rsync pour copier les fichiers du dépôt Git local vers ~/.local/bin
|
2023-11-15 01:08:26 +01:00
|
|
|
copied_files=$(rsync -av --include='*.sh' --include='*.py' --include='*.pl' "$repository_dir/" "$destination_dir/" | grep -v '/$')
|
2023-11-15 00:44:49 +01:00
|
|
|
|
|
|
|
# Renommez les fichiers en supprimant les extensions
|
|
|
|
for file in $copied_files; do
|
|
|
|
if [ -f "$destination_dir/$file" ]; then
|
|
|
|
new_name="${file%.*}" # Supprimer l'extension
|
|
|
|
mv -v "$destination_dir/$file" "$destination_dir/$new_name"
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
|
|
|
|
|
|
|
|
# Affiche un message de confirmation
|
|
|
|
echo "Les fichiers du dépôt Git local ont été copiés vers $destination_dir avec succès."
|