Last change
on this file was 37291, checked in by davidb, 15 months ago |
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
|
-
Property svn:executable
set to
*
|
File size:
675 bytes
|
Line | |
---|
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
|
---|
20 |
|
---|
21 | echo "GS3 Extensions: "
|
---|
22 |
|
---|
23 | wget --no-check-certificate -q -O - https://svn.greenstone.org/gs3-extensions/ | \
|
---|
24 | grep '<li>' | \
|
---|
25 | sed 's/^.*href="\(.*\)\/".*$/ \1/' |
|
---|
26 | grep -v '\.\.'
|
---|
27 |
|
---|
28 |
|
---|
29 | # tr '\n' ' '
|
---|
30 |
|
---|
31 |
|
---|
Note:
See
TracBrowser
for help on using the repository browser.