Extraire l'extension du fichier bash
FILE="/path/to/file.extension"
echo "$FILE" | rev | cut -d '.' -f 1 | rev
Annoying Armadillo
FILE="/path/to/file.extension"
echo "$FILE" | rev | cut -d '.' -f 1 | rev