-
BASH > nom, chemin et extension d’un fichier
NOM
FICHIER=monfichier.jpg echo ${FICHIER%%.*} monfichier
multiples extensions / plusieurs points (.tar.gz)
FICHIER=archive.tar.gz echo ${FICHIER%%.*} archive echo ${FICHIER%.*} archive.tar
CHEMIN
EXTENSION
FICHIER=monfichier.jpg echo ${FICHIER#*.} jpg
multiples extensions (.tar.gz)
FICHIER=archive.tar.gz echo ${FICHIER#*.} tar.gz echo ${FICHIER##*.} gz