Changeset 37292

Timestamp:

2023-02-07T23:15:03+13:00 (15 months ago)

Author:

davidb

Message:

Check to avoid complication of trying to use Greenstone's WGETRC config file, while it is still in the process of compiling up all the source code, and so the wget that has been found is not the one in Greenstone, and the config files in WGETRC do not yet exist

File:

• main/trunk/greenstone3/web/list-installations.sh (modified) (1 diff)

main/trunk/greenstone3/web/list-installations.sh

@@ -1 +1 @@
 #!/bin/bash
+
+if [ "x$WGETRC" != "x" ] ; then
+
+    wgetrc_dir=${WGETRC%/*}
+
+    which_wget=`which wget`
+    wget_dir=${which_wget%/*}
+
+    if [ $wgetrc_dir != $wget_dir ] ; then
+    echo "+--------" >&2
+    echo "+ Located wget is not the Greenstone one" >&2
+    echo "+ Temporarily setting:"                   >&2
+    echo "+     WGETRC=$WGETRC"                     >&2
+    echo "+ to be empty"                            >&2
+    echo "+--------" >&2
+    export WGETRC=
+    fi
+fi
 
 echo ""