Changeset 36523


Ignore:
Timestamp:
2022-08-28T14:25:31+12:00 (5 weeks ago)
Author:
davidb
Message:

Updated testing and text details

Location:
gs3-extensions/webswing/trunk
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • gs3-extensions/webswing/trunk/README.txt

    r36522 r36523  
    4141# Troubleshooting
    4242
     431. JDK -- JAVA_HOME
     44
     45One of the 'mvn' tasks was found to need JAVA_HOME set.  If using
     46./get-selfcontained-jdk.sh to provide java/javac, then this is set for
     47you.
     48
     49
     502. Gnome/Freedesktop/XDG 'trash' command-line utility
     51
    4352If you are compiling this up outside of your home directory (say
    4453/opt/greenstone3-svn/ext/webswing) then you will need a a directory:
     
    4655  /.Trash-$UID
    4756
    48 for the 'trash' command-line utility to use
     57for the 'trash' command-line utility to function correctly.
     58
     59When the issue was enounctered, the particular trash folder that
     60yielded the error was:
     61
     62  /.Trash-1000
     63 
     64Explaniation: For one of the mvn stages for compiling, it looks to run
     65a npm 'clean' target, before compiling.  The clean target uses
     66'trash', which (if things have previously been run) there there is a
     67directory that needs to be moved to its 'trash folder'.  When running
     68in a disk partition that does not contian your /home/<username>
     69account, then the XDG specification specifies this to be /.Trash-$UID
    4970
    5071
     72
     73
     74
     75
  • gs3-extensions/webswing/trunk/src/COMPILE.sh

    r36509 r36523  
    1313echo "* Compiling up Webswing"
    1414echo "****"
     15
     16if [ "x$JAVA_HOME" = "x" ] ; then
     17    echo "JAVA_HOME needs to be set to compile Webswing"
     18    echo "If yoour javac is not located in a JDK home area, then"
     19    echo "Consider using the JDK installed through:"
     20    echo "    <gsdl3srchome>/ext-cli/get-selfcontained-jdk.sh"
     21    exit 1
     22else
     23    echo "JAVA_HOME set to:"
     24    echo "    $JAVA_HOME"
     25fi
    1526
    1627if [ ! -d /.Trash-$UID ] ; then
Note: See TracChangeset for help on using the changeset viewer.