Advertisement
Guest User

Untitled

a guest
May 23rd, 2017
58
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.34 KB | None | 0 0
  1. #!/bin/sh
  2.  
  3. gksu chmod 777 $GEDIT_CURRENT_DOCUMENT_PATH
  4. font=$(sed -n '1p' $GEDIT_CURRENT_DOCUMENT_PATH)
  5.  
  6. if [ "$font" = "#!/usr/bin/env python" ]; then
  7. cat $GEDIT_CURRENT_DOCUMENT_PATH
  8. gnome-terminal -e $GEDIT_CURRENT_DOCUMENT_PATH
  9. else
  10.  
  11. echo "#!/usr/bin/env python"
  12. echo "#-*- coding:utf-8 -*-"
  13. cat $GEDIT_CURRENT_DOCUMENT_PATH
  14. fi
  15. echo
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement