|
Last change
on this file since 38935 was 38433, checked in by davidb, 7 months ago |
|
Higher level script to make installing the site and interface to an installation easier
|
|
File size:
472 bytes
|
| Line | |
|---|
| 1 | # Designed to be sourced
|
|---|
| 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
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
