1 | if [ "x$ANDROID_SDK_HOME" = "x" ] ; then
|
---|
2 | export ANDROID_SDK_HOME=**ANDROID-SDK-HOME**
|
---|
3 | export PATH=$ANDROID_SDK_HOME/tools:$ANDROID_SDK_HOME/platform-tools:$PATH
|
---|
4 |
|
---|
5 | echo "+ Your environment has now been set up to run the Android SDK"
|
---|
6 | fi
|
---|
7 |
|
---|
8 |
|
---|
9 | export IJETTY_HOME=`pwd`
|
---|
10 | export IJOS=`uname | sed 's/^cygwin.*$/cygwin/i' | sed 's/^mingw.*$/mingw/i'`
|
---|
11 |
|
---|
12 | if [ "x$GSDL3HOME" = "x" ] ; then
|
---|
13 | echo "Setting GSDL3HOME to '../../web'"
|
---|
14 | export GSDL3HOME=../../web
|
---|
15 | else
|
---|
16 | echo "Using existing value of GSDL3HOME: '$GSDL3HOME'"
|
---|
17 | fi
|
---|
18 |
|
---|
19 | if [ "x$SDCARD_WEBAPPS" = "x" ] ; then
|
---|
20 |
|
---|
21 | if [ "x$IJOS" = "xcygwin" ] ; then
|
---|
22 |
|
---|
23 | possible_drives=`ls -d /cygdrive/*/jetty/webapps 2>/dev/null`
|
---|
24 | num_possible_drives=`echo $possible_drives | wc -l`
|
---|
25 |
|
---|
26 | if [ $num_possible_drives = "0" ] ; then
|
---|
27 | echo " Failed to automatically find and sdcard webapps folders"
|
---|
28 | echo " Explicitly set the environment variable SDCARD_WEBAPPS to control"
|
---|
29 | echo " installation on the Android phone"
|
---|
30 | else
|
---|
31 | if [ $num_possible_drives = "1" ] ; then
|
---|
32 | export SDCARD_WEBAPPS=${possible_drives[0]}
|
---|
33 | else
|
---|
34 | echo " Detected more than one possible sdcard webapps folders:"
|
---|
35 | echo " $possible_drives"
|
---|
36 | echo " Explicitly set the environment variable SDCARD_WEBAPPS to control"
|
---|
37 | echo " which one is used for installation on the Android phone"
|
---|
38 | fi
|
---|
39 | fi
|
---|
40 | fi
|
---|
41 | fi
|
---|
42 |
|
---|
43 | if [ "x$SDCARD_WEBAPPS" != "x" ] ; then
|
---|
44 | export SDCARD_GSDL3HOME=$SDCARD_WEBAPPS/greenstone3/
|
---|
45 | echo ""
|
---|
46 | echo " Using:"
|
---|
47 | echo " $SDCARD_GSDL3HOME"
|
---|
48 | echo " as the installation point for the Greenstone servlet"
|
---|
49 | echo ""
|
---|
50 | fi
|
---|
51 |
|
---|
52 |
|
---|
53 | if [ "x$IJETTY_PORT" = "x" ] ; then
|
---|
54 | export IJETTY_PORT=8080
|
---|
55 | echo ""
|
---|
56 | echo " Setting IJETTY_PORT to 8080"
|
---|
57 | echo " Explicityly set this environment variable to override this default"
|
---|
58 | echo ""
|
---|
59 | else
|
---|
60 | echo ""
|
---|
61 | echo " Using IJETTY PORT = $IJETTY_PORT"
|
---|
62 | echo ""
|
---|
63 | fi
|
---|
64 |
|
---|
65 | echo "+ Your environment has now been set up with iJetty extension for Greenstone"
|
---|
66 |
|
---|
67 |
|
---|