file = "thisfile.txt"
echo "filename: ${file%.*}"
echo "extension: ${file##*.}"
相关文章
- 02-13Shell脚本——make命令和Makefile文件【转】
- 02-13Shell脚本文件中常用的操作语句
- 02-13jsp获取当前目录下的文件和目录,获取windows盘符
- 02-13ReentrantLock修饰类文件，实现按类获取锁的逻辑
- 02-13反射方式,获取出集合ArrayList类的class文件对象
- 02-13mui---获取入口文件对象
- 02-13flink on yarn 用户代码获取keytab本地文件和principal的方法
- 02-13ajax提交表单文件后台获取不到问题
- 02-13[Python]如何获取目录下，最后更新的文件
- 02-13在html中上传文件，后台获取并进行操作