Server IP : 52.91.253.208 / Your IP : 3.147.47.166 [ Web Server : Apache System : Linux ip-172-26-9-9 4.19.0-25-cloud-amd64 #1 SMP Debian 4.19.289-1 (2023-07-24) x86_64 User : daemon ( 1) PHP Version : 7.3.18 Disable Function : NONE Domains : 3 Domains MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : OFF Directory : /opt/bitnami/common/bin/ |
Upload File : |
#!/bin/sh # $Id$ # Linearized PDF hint formatting utility. # This definition is changed on install to match the # executable name set in the makefile GS_EXECUTABLE=gs gs="`dirname \"$0\"`/$GS_EXECUTABLE" if test ! -x "$gs"; then gs="$GS_EXECUTABLE" fi GS_EXECUTABLE="$gs" OPTIONS="-P- -dSAFER -dDELAYSAFER" while true do case "$1" in -?*) OPTIONS="$OPTIONS $1" ;; *) break ;; esac shift done if [ $# -ne 1 ]; then echo "Usage: `basename \"$0\"` input.pdf" 1>&2 exit 1 fi exec "$GS_EXECUTABLE" -q -dNODISPLAY $OPTIONS -- "`dirname \"$0\"`/dumphint.ps" "$1"