Bonjour,
Le 07/01/2015 14:14, jdanield a écrit :
> les extensions de fichiers ne sont pas les mêmes, du coup tous les
> fichiers sont différents
Il existe ce genre d'astuce pour virer les extensions:
$ A=/dir/dir/titi.txt
A=/dir/dir/titi.txt
$ echo "${A%.*}"
/dir/dir/titi
Voir aussi les commandes "basename" et "dirname"
JM