Guest User

Untitled

a guest
May 26th, 2018
91
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.26 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. if [ ! -f "$1" ] ; then
  4. echo "Input file $1 doesn't exist"
  5. exit 1
  6. fi
  7.  
  8. TITLE=${1%%.*}
  9. #echo $TITLE
  10. mogrify -format eps $1 && epstopdf $TITLE.eps
  11. echo Conversion of $TITLE done!
  12.  
  13. if [ -f $TITLE.eps ] ; then
  14. rm -v $TITLE.eps
  15. fi
  16.  
  17. exit 0
Add Comment
Please, Sign In to add comment