Skip to content

Instantly share code, notes, and snippets.

@vvondra
Created October 14, 2010 14:54
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save vvondra/626302 to your computer and use it in GitHub Desktop.
Save vvondra/626302 to your computer and use it in GitHub Desktop.
#!/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
else
fpc $GEDIT_CURRENT_DOCUMENT_DIR/$GEDIT_CURRENT_DOCUMENT_NAME
fi
fi
exit 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment