• # un petit script

    Posté par . En réponse au message bash recuperer nom de plusieurs fichiers incrémentés. Évalué à 1. Dernière modification le 11 février 2019 à 16:59. 

    #!/bin/bash
nomIdentique="toto" # La partie identique du nom des fichiers
maRegex="$nomIdentique([0-9]).png$" # Pour extraire le chiffre situé juste avant ".png"
chiffres="" # Pour la liste des chiffres qui seront extraits
tablFichs=( dossier/$nomIdentique*.png ) # Mise dans un tableau de la liste
for fich in "${tablFichs[@]}"; do
 fich="${fich##*\/}" # Suppression du nom du chemin 
 [[ "$fich" =~ $maRegex ]] && chiffres="$chiffres${BASH_REMATCH[1]}"
done
echo "$nomIdentique[$chiffres]"

    ... et dans ce royaume, ceux qui y voient un peu plus clair sont parfois très mal vus.