用户工具

站点工具


linux:shell

这是本文档旧的修订版!


Shell

The page is about shell programming (especially bash).

Trick

Extract filename and extension

Extract filename and extension in Bash - Stack Overflow

Shell Parameter Expansion

filename=$(basename "$fullfile")
extension="${filename##*.}"
filename="${filename%.*}"
linux/shell.1475376954.txt.gz · 最后更改: 2023/12/03 10:24 (外部编辑)