vvondra

#!/bin/bash
FILE_NAME=$GEDIT_CURRENT_DOCUMENT_NAME
if [ `echo $FILE_NAME | cut -d "." -f 2` = "pas" ] 
then
FILE_NAME_LEN=`expr ${#FILE_NAME} - 4`
FILE_NAME_BASE=${FILE_NAME:0:$FILE_NAME_LEN}
if fpc $GEDIT_CURRENT_DOCUMENT_DIR/$GEDIT_CURRENT_DOCUMENT_NAME | awk '$1 > 0 && /compiled/ && /sec/{print "ok"}' | grep ok > /dev/null
then
# Check if file extension is .pas
gnome-terminal -e ./$FILE_NAME_BASE