[Linux-31] différences entre deux répertoires

[jdanield]

Le 07/01/2015 17:00, pti-jean a écrit :
> 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

j'ai trouvé une page intéressante, là dessus

http://wiki.bash-hackers.org/syntax/pe

le {$A%.*}

est sympa!

ca se lit, si je comprends bien: enlever le point (.) le plus à droite 
et tout ce qui est à sa droite...

merci
jdd