Extract filename and extension in Bash Extract filename and extension in Bash bash bash