====== 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`