Bash : Dateiname / Dateierweiterung / Pfad ermitteln
Kleine Gedächtnisstütze für Bash ...
filename=$(basename "$fullfile")
path=$(dirname $(readlink -f ${filename}))
extension="${filename##*.}"
filename="${filename%.*}"
# oder
filename="${fullfile##*/}"