Comment extraire le nom et l’extension d’un fichier en Bash

samedi 19 avril 2014, par Nadir Soualem

bash extension filename

Toutes les versions de cet article : <English> <français>

nsoualem@gold: -> PICTURE=Tux.jpg
nsoualem@gold: -> echo ${PICTURE%%.*}
Tux
nsoualem@gold: -> echo ${PICTURE#*.}
jpg

nsoualem@gold: -> FILE=archive.tar.gz
nsoualem@gold: -> echo ${FILE%%.*}
archive
nsoualem@gold: -> echo ${FILE%.*}
archive.tar
nsoualem@gold: -> echo ${FILE#*.}
tar.gz
nsoualem@gold: -> echo ${FILE##*.}
gz

Dans la même rubrique

1. Comment extraire le nom et l’extension d’un fichier en Bash
2. Comment vérifier le statut d’exécution d’une commande en BASH ?
3. Désactiver l’historique en utilisant HISTSIZE,HISTFILE
4. Trouver rapidement et facilement l’adresse mac courante sous Linux