Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/sh
- gksu chmod 777 $GEDIT_CURRENT_DOCUMENT_PATH
- font=$(sed -n '1p' $GEDIT_CURRENT_DOCUMENT_PATH)
- if [ "$font" = "#!/usr/bin/env python" ]; then
- cat $GEDIT_CURRENT_DOCUMENT_PATH
- gnome-terminal -e $GEDIT_CURRENT_DOCUMENT_PATH
- else
- echo "#!/usr/bin/env python"
- echo "#-*- coding:utf-8 -*-"
- cat $GEDIT_CURRENT_DOCUMENT_PATH
- fi
- echo
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement