这篇文章主要讲解了“怎么用Shell获取文件的文件名和扩展名”,文中的讲解内容简单清晰,易于学习与理解,下面请大家跟着小编的思路慢慢深入,一起来研究和学习“怎么用Shell获取文件的文件名和扩展名”吧!
basename example.tar.gz .tar.gz# => exampleFILE="example.tar.gz"echo "${FILE%%.*}"# => exampleecho "${FILE%.*}"# => example.tarecho "${FILE#*.}"# => tar.gzecho "${FILE##*.}"# => gz# 在bash中可以这么写filename=$(basename "$fullfile")extension="${filename##*.}"filename="${filename%.*}"
感谢各位的阅读,以上就是“怎么用Shell获取文件的文件名和扩展名”的内容了,经过本文的学习后,相信大家对怎么用Shell获取文件的文件名和扩展名这一问题有了更深刻的体会,具体使用情况还需要大家实践验证。这里是编程网,小编将为大家推送更多相关知识点的文章,欢迎关注!