这篇文章主要讲解了“怎么用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获取文件的文件名和扩展名-创新互联
文章分享:https://www.cdcxhl.com/article24/csscje.html
成都网站建设公司_创新互联,为您提供动态网站、小程序开发、面包屑导航、网站导航、商城网站、定制开发
声明:本网站发布的内容(图片、视频和文字)以用户投稿、用户转载内容为主,如果涉及侵权请尽快告知,我们将会在第一时间删除。文章观点不代表本网站立场,如需处理请联系客服。电话:028-86922220;邮箱:631063699@qq.com。内容未经允许不得转载,或转载时需注明来源: 创新互联