linux:shell
Shell
The page is about shell programming (especially bash).
Trick
Extract filename and extension
Extract filename and extension in Bash - Stack Overflow
filename=$(basename "$fullfile") extension="${filename##*.}" filename="${filename%.*}"
linux/shell.txt · 最后更改: 2023/12/03 10:24 由 127.0.0.1