User Tools

Site Tools


bash

This is an old revision of the document!


bash programming tricks

extracting file extension

file="example.pdf"
file_extension=`echo $file | sed 's/.*\.//'`

removing file extension

file="example.pdf"
file_extension=`echo $file | sed 's/.*\.//'`
file_without_extension=`basename $file .$file_extension`
bash.1274057123.txt.gz · Last modified: 2021/02/01 05:55 (external edit)