用户工具

站点工具


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.txt · 最后更改: 2023/12/03 10:24 由 127.0.0.1