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##*/}"
“Das einzig sichere System müsste ausgeschaltet, in einem versiegelten und von Stahlbeton ummantelten Raum und von bewaffneten Schutztruppen umstellt sein.”
Gene Spafford (Sicherheitsexperte)