AWK function to strip a file extension

strip_ext.awk

## Strip the trailing extension from a file
strip_ext() {
  FILENAME=$1
  EXTENSION=`echo $FILENAME | gawk -F. '{ print "."$NF }'`
  echo $FILENAME | awk -F$EXTENSION '{ print $1 }'
}