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##*/}"
“Sicher ist, dass nichts sicher ist. Selbst das nicht.”
Joachim Ringelnatz