网站建设资讯

NEWS

网站建设资讯

怎么用Shell获取文件的文件名和扩展名-创新互联

这篇文章主要讲解了“怎么用Shell获取文件的文件名和扩展名”,文中的讲解内容简单清晰,易于学习与理解,下面请大家跟着小编的思路慢慢深入,一起来研究和学习“怎么用Shell获取文件的文件名和扩展名”吧!

目前创新互联已为成百上千的企业提供了网站建设、域名、虚拟主机网站托管、企业网站设计、沙坪坝网站维护等服务,公司将坚持客户导向、应用为本的策略,正道将秉承"和谐、参与、激情"的文化,与客户和合作伙伴齐心协力一起成长,共同发展。
basename example.tar.gz .tar.gz
# => example

FILE="example.tar.gz"

echo "${FILE%%.*}"
# => example

echo "${FILE%.*}"
# => example.tar

echo "${FILE#*.}"
# => tar.gz

echo "${FILE##*.}"
# => gz

# 在bash中可以这么写
filename=$(basename "$fullfile")
extension="${filename##*.}"
filename="${filename%.*}"

感谢各位的阅读,以上就是“怎么用Shell获取文件的文件名和扩展名”的内容了,经过本文的学习后,相信大家对怎么用Shell获取文件的文件名和扩展名这一问题有了更深刻的体会,具体使用情况还需要大家实践验证。这里是创新互联网站建设公司,,小编将为大家推送更多相关知识点的文章,欢迎关注!


当前名称:怎么用Shell获取文件的文件名和扩展名-创新互联
文章起源:http://njwzjz.com/article/csscje.html