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##*/}"