Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
#!/bin/sh # # A simple shell script to invoke the Hugs interpreter and set the # path to the prelude file. # # Mark P. Jones, 1996. Derived from the corresponding script for Gofer # which was written by Mark Jones and edited by Jonathan Bowen, Oxford # University, August 1993. # Edited by Gary Leavens, Iowa State, Jan 1997 # Location of Hugs files - site specific ROOT=${HUGSROOT-/opt/hugs} # The default Hugs search path: HUGSPATH=${HUGSPATH-$ROOT/lib/hugs/libraries} export HUGSPATH # Preferred command line argument settings: HUGSARGS=${HUGSARGS-"-P$HUGSPATH +98 +t -u"} # The next few lines try to guess a suitable setting for the EDITLINE # variable. If your favourite editor is not dealt with here, or if # the version of sh that I'm using is incompatible with every other # shell out there, you may need to modify (or remove) this section: # EDIT=${EDITOR-/usr/bin/emacs} case `basename "$EDIT"` in emacs | vi | elvis ) EDITLINE="$EDIT +%d %s";; none ) ;; * ) EDITLINE=$EDIT;; esac EDITOR=${HUGSEDIT-$EDITLINE} export EDITOR # Finally, start the interpreter running: exec $ROOT/bin/hugs $HUGSARGS $*