Le Quotidien Shaarli

Tous les liens d'un jour sur une page.

June 30, 2019

string - Extract filename and extension in Bash - Stack Overflow

Pense-bête pour extraire le nom d'un fichier et son extension dans un script bash

`~% FILE="example.tar.gz"

~% echo "${FILE%%.*}"
example

~% echo "${FILE%.*}"
example.tar

~% echo "${FILE#*.}"
tar.gz

~% echo "${FILE##*.}"
gz
`