howto · 2023-01-30
Ein einfaches Bash-Skript, das den Dateinamen und seine Erweiterung separat abruft.