====== Shell ======

The page is about [[wp>Shell_script|shell programming]] (especially bash).

===== Trick =====

==== Extract filename and extension ====

[[http://stackoverflow.com/questions/965053/extract-filename-and-extension-in-bash|Extract filename and extension in Bash - Stack Overflow]]

[[http://www.gnu.org/software/bash/manual/html_node/Shell-Parameter-Expansion.html|Shell Parameter Expansion]]

<code bash>
filename=$(basename "$fullfile")
extension="${filename##*.}"
filename="${filename%.*}"
</code>