Changeset 7676
- Timestamp:
- 2004-06-30T16:19:35+12:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/gli.sh
r7664 r7676 231 231 fi 232 232 233 ## ---- Check WGet exists----233 ## ---- Set wgetpath manually if you don't want to use the default Greenstone version ----- 234 234 wgetpath= 235 236 wok="NoWGet"237 238 # Some users may set the above line manually239 if [ "$wgetpath" == "" ]; then240 # Check if WGet is on the search path241 wgetpath=`which wget 2> /dev/null`242 fi243 244 # Check that a WGet executable has been found245 echo "Checking WGet: $wgetpath"246 if [ ! -x "$wgetpath" ]; then247 echo248 echo "Failed to locate an appropriate version of WGet. Web mirroring will"249 echo "be disabled. Greenstone Librarian Interface requires WGet installed"250 echo "in order to fully access this feature."251 else252 ## -- Check the version of WGet is new enough (1.9 or higher) to run properly --253 wgetversion=`$wgetpath --version 2>&1 | sed -n 's/^GNU Wget \(.*\)/\1/p'`254 wvmajor=`echo $wgetversion | sed -n 's/^\([0-9]*\).*$/\1/p'`255 wvminor=`echo $wgetversion | sed -n 's/^[0-9]*\.\(.*\)$/\1/p'`256 257 wok="WGet1.9"258 if [ $wvmajor -lt 1 ] ; then259 wok="<WGet1.9"260 fi261 if [ $wvmajor -eq 1 ] && [ $wvminor -lt 9 ] ; then262 wok="<WGet1.9"263 fi264 if [ $wok == "<WGet1.9" ] ; then265 echo266 echo "The version of the WGet you have installed has a known bug when"267 echo "mirroring files which contain encoded characters such as space and"268 echo "tilde in their URL. While this shouldn't be a problem, we recommend"269 echo "installing WGet 1.9 or higher."270 fi271 fi272 235 273 236 ## ---- Check that the GLI has been compiled ---- … … 328 291 # -Xloggc:<file> Write garbage collection log 329 292 330 $javapath -classpath classes/:GLI.jar:lib/apache.jar:lib/jp.jar:lib/polloxml.jar:lib/qfslib.jar:lib/mail.jar:lib/activation.jar org.greenstone.gatherer.Gatherer -gsdl $GSDLHOME -wget $w ok$wgetpath $*293 $javapath -classpath classes/:GLI.jar:lib/apache.jar:lib/jp.jar:lib/polloxml.jar:lib/qfslib.jar:lib/mail.jar:lib/activation.jar org.greenstone.gatherer.Gatherer -gsdl $GSDLHOME -wget $wgetpath $* 331 294 332 295 if [ "$glilang" == "es" ]; then
Note:
See TracChangeset
for help on using the changeset viewer.