- Timestamp:
- 2023-02-07T23:15:03+13:00 (14 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/web/list-installations.sh
r37035 r37292 1 1 #!/bin/bash 2 3 if [ "x$WGETRC" != "x" ] ; then 4 5 wgetrc_dir=${WGETRC%/*} 6 7 which_wget=`which wget` 8 wget_dir=${which_wget%/*} 9 10 if [ $wgetrc_dir != $wget_dir ] ; then 11 echo "+--------" >&2 12 echo "+ Located wget is not the Greenstone one" >&2 13 echo "+ Temporarily setting:" >&2 14 echo "+ WGETRC=$WGETRC" >&2 15 echo "+ to be empty" >&2 16 echo "+--------" >&2 17 export WGETRC= 18 fi 19 fi 2 20 3 21 echo ""
Note:
See TracChangeset
for help on using the changeset viewer.