目录

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%.*}"