Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- ulimit -t 10
- ulimit -v 1024000
- FNAME=$GEDIT_CURRENT_DOCUMENT_NAME
- EXT=${FNAME##*.}
- FNAME=`basename $FNAME .$EXT`
- make -f ~/Documents/Makefile $FNAME || exit
- ./$FNAME 2>&1 | head -c 20K
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
