关于字符串:提取bash中的文件名和扩展名