星火微课系统客户端
Você não pode selecionar mais de 25 tópicos Os tópicos devem começar com uma letra ou um número, podem incluir traços ('-') e podem ter até 35 caracteres.

1234567891011121314151617181920212223242526272829303132333435
  1. #! /bin/sh
  2. # $Id: pdf2dsc 8107 2007-07-05 19:04:29Z till $
  3. # psf2dsc: generates an index of a PDF file.
  4. #
  5. # Yves Arrouye <arrouye@debian.org>, 1996.
  6. # 2000-05-18 lpd <ghost@aladdin.com> added -dSAFER
  7. # This definition is changed on install to match the
  8. # executable name set in the makefile
  9. GS_EXECUTABLE=gs
  10. gs="`dirname $0`/$GS_EXECUTABLE"
  11. if test ! -x "$gs"; then
  12. gs="$GS_EXECUTABLE"
  13. fi
  14. GS_EXECUTABLE="$gs"
  15. me=`basename $0`
  16. usage() {
  17. >&2 echo usage: $me "pdffile [ dscfile ]"
  18. exit 1
  19. }
  20. if [ $# -gt 2 ]
  21. then
  22. usage
  23. fi
  24. pdffile=$1
  25. dscfile=$2
  26. : ${dscfile:=`echo $pdffile | sed 's,\.[^/.]*,,'`.dsc}
  27. exec "$GS_EXECUTABLE" -q -dNODISPLAY -dSAFER -dDELAYSAFER\
  28. -sPDFname="$pdffile" -sDSCname="$dscfile" pdf2dsc.ps -c quit