[Aimmath-commit] AIM/doc installlin.html,1.2,1.3
Brought to you by:
gustav_delius,
npstrick
Menu
▾
▴
[Aimmath-commit] AIM/doc installlin.html,1.2,1.3
|
From: <gr...@us...> - 2003-09-01 09:01:53
|
Update of /cvsroot/aimmath/AIM/doc In directory sc8-pr-cvs1:/tmp/cvs-serv3737 Modified Files: installlin.html Log Message: A further update ... hopefully good enough now for AiM 3.0 :-) - GG Index: installlin.html =================================================================== RCS file: /cvsroot/aimmath/AIM/doc/installlin.html,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** installlin.html 29 Aug 2003 19:05:14 -0000 1.2 --- installlin.html 1 Sep 2003 09:01:48 -0000 1.3 *************** *** 17,21 **** <li><a href="#jre">Install the Java runtime environment</a></li> <li><a href="#tomcat">Install the Tomcat web server</a></li> - <li><a href="#tth">Install TtH (TeX-to-HTML)</a></li> <li><a href="#aim">Install AiM itself</a></li> </ol> --- 17,20 ---- *************** *** 70,75 **** contact <a href='mailto:in...@ma...'>Waterloo Maple</a> directly to ensure that you are complying with your license terms. If ! you have any complex discussions about licensing issues then (<a ! href='mailto:N.P...@sh...'>Neil Strickland</a>) would appreciate a copy. Waterloo Maple are aware of AiM and are generally supportive. Our main contact there has been <a --- 69,74 ---- contact <a href='mailto:in...@ma...'>Waterloo Maple</a> directly to ensure that you are complying with your license terms. If ! you have any complex discussions about licensing issues then <a ! href='mailto:N.P...@sh...'>Neil Strickland</a> would appreciate a copy. Waterloo Maple are aware of AiM and are generally supportive. Our main contact there has been <a *************** *** 83,95 **** by downloading and running the <a href="http://aimmath.sourceforge.net/j2re-1_4_2_01-linux-i586.bin">installer ! for JRE 1.4.2</a> (14MB) or you can install the full developer's kit ! by downloading and running the ! <a href="http://aimmath.sourceforge.net/j2sdk-1_4_2_01-linux-i586.bin">installer ! for SDK 1.4.2</a> (35MB) both from ! <a href="http://java.sun.com">java.sun.com</a> (the latter of these gives ! you <code>javac</code> and others, which you will need if you intend to ! compile java code). By default, it will unpack in <font ! color='green'>/usr/java/j2sdk1.4.2_01</font> (but it will allow you to ! install it in <font color='green'>/usr/local/java/j2sdk1.4.2_01</font> if you prefer). You should make a symbolic link to this from <font color='green'>/usr/java/jdk</font> (or <font --- 82,91 ---- by downloading and running the <a href="http://aimmath.sourceforge.net/j2re-1_4_2_01-linux-i586.bin">installer ! for JRE 1.4.2</a> (14MB) or you can install the full developer's kit (SDK) ! which can be obtained free from <a href="http://java.sun.com">java.sun.com</a> ! (35MB) (the full SDK gives you <code>javac</code> and others, which you will ! need if you intend to compile java code). By default, the JRE or SDK will ! unpack in <font color='green'>/usr/java/j2sdk1.4.2_01</font> (but it will allow ! you to install it in <font color='green'>/usr/local/java/j2sdk1.4.2_01</font> if you prefer). You should make a symbolic link to this from <font color='green'>/usr/java/jdk</font> (or <font *************** *** 112,128 **** <h2><a name="tth">TtH</a></h2> ! You will need to download the TeX-to-HTML converter TtH from <a ! href="http://hutchinson.belmont.ma.us/tth/">hutchinson.belmont.ma.us/tth/</a>. ! The executable file <font color='green'>tth</font> should be in a standard ! path such as <font color='green'>/usr/bin</font> or <font color='green'>/usr/local/bin</font>. TtH, by default, uses symbol fonts, which should display ! properly under Internet Explorer or Netscape 4 (and earlier) on Windows ! platforms. Recent versions of Netscape and Mozilla no longer support ! symbol fonts, but do display Unicode fonts (which, alas, Internet Explorer ! does not fully support). If you know that your users will have recent ! browsers with Unicode support then another option is to make TtH use ! the -u flag; see the mailing list for discussion of how to do this and ! whether it is a good idea. We hope to soon to have the facility to ! detect the browser so that AiM serves pages with symbol fonts or Unicode ! fonts as appropriate for the browser. <h2><a name="aim">AiM</a></h2> --- 108,146 ---- <h2><a name="tth">TtH</a></h2> ! If you don't already have <font color='green'>tth</font> ! (the command that runs the TeX-to-HTML converter TtH from <a ! href="http://hutchinson.belmont.ma.us/tth/">hutchinson.belmont.ma.us/tth/</a>) ! installed or if your already installed version of <font color='green'>tth</font> ! is version 3.30 or better, you may skip this section. ! <p/> ! During the running of <font color='green'>AutoConf.mpl</font> (see the next ! section), the TtH used by AiM is set to the first one found by searching the ! standard paths <font color='green'>/usr/local/bin</font>, ! <font color='green'>/usr/bin</font> and <font color='green'>/bin</font>, ! and if it is not found amongst these paths it is set to the copy of ! <font color='green'>tth</font> that comes with the AiM distribution. ! If <font color='green'>AutoConf.mpl</font> finds a version ! of <font color='green'>tth</font> on your system that is older than 3.30 ! you should set AiM to use its own copy, by setting ! <blockquote> ! <code>Config['TtHProgram'] := "/usr/local/tomcat/webapps/AiM/bin/tth_exe/tth": ! </code> ! </blockquote> ! (modified appropriately for whatever your AiM webapps directory is) in ! <font color='green'>ManualConfig.mpl</font> and rerunning <font ! color='green'>AutoConf.mpl</font>. ! <p/> ! Note that versions of TtH older that 3.30 may translate some ``unbalanced'' ! LaTeX <code>eqnarray</code> environments so that they are not nicely centred. ! This problem was fixed in version 3.30. ! <p/> ! Note also that by default, TtH uses symbol fonts, which display fine ! with Internet Explorer or Netscape 4 (and earlier) on Windows platforms. ! However, recent versions of Netscape and Mozilla no longer support symbol fonts ! (at least not directly), but do display Unicode fonts (which, alas, ! Internet Explorer does not fully support) which TtH can be configured to use ! via a -u flag. AiM now has some limited browser detection - it should detect ! Mozilla, Netscape 6+ and Safari and display pages using Unicode; for other ! browsers AiM will default to using symbol fonts. <h2><a name="aim">AiM</a></h2> *************** *** 178,185 **** are generated automatically, so you should use some other name. <p/> ! Now start Maple, and read in the file ! <font color='green'>AutoConf.mpl</font>. This will try to ! find out all the necessary configuration information automatically. ! If it complains of any problems, you may wish to set <font color='green'>waffle := true</font> and run it again to get a more verbose report. The output is saved in the file --- 196,209 ---- are generated automatically, so you should use some other name. <p/> ! You are now ready to configure AiM. This is done by starting Maple, and ! reading the file <font color='green'>AutoConf.mpl</font> via ! <blockquote> ! <code>read "AutoConf.mpl";</code> ! </blockquote> ! Particularly if you have not installed AiM before, you should be able to ! do this now and sort out any problems later. (If you'd rather be more ! certain or do have a previous version of AiM installed, read the next ! paragraph first.) If there are complaints when running <font ! color='green'>AutoConf.mpl</font>, you may wish to set <font color='green'>waffle := true</font> and run it again to get a more verbose report. The output is saved in the file *************** *** 187,204 **** printed on the terminal. <p/> ! Under Linux, <font color='green'>AutoConf.mpl</font> will probably ! find everything it needs. There is currently a problem with time ! zones, however; if automatic configuration reports a time zone that ! already includes a shift for summer time, then you should manually ! correct it to the corresponding zone without a shift. For example, ! BST = British Summer Time = GMT + 1 hour should be changed to GMT = ! GMT + 0 hours. To provide help, you should copy the file <font ! color='green'>ManualConfig.dist</font> to <font color='green'>ManualConfig.mpl</font> and then edit it following the instructions included in the file. You should then run <font ! color='green'>AutoConf.mpl</font> again. This will run various ! consistency checks as well as generating other configuration files. ! You can iterate this procedure as often as you like until you get ! an installation without error messages. <p/> By the way, by running <font color='green'>AutoConf.mpl</font>, --- 211,272 ---- printed on the terminal. <p/> ! <a name = "reconfig"> ! Usually <font color='green'>AutoConf.mpl</font></a> will find everything ! it needs, but if not, you will need to have a file <font ! color='green'>ManualConfig.mpl</font> that contains the parameters ! whose default values you wish to override and rerun <font ! color='green'>AutoConf.mpl</font>. To create such a file start ! by copying <font color='green'>ManualConfig.dist</font> to <font color='green'>ManualConfig.mpl</font> and then edit it following the instructions included in the file. You should then run <font ! color='green'>AutoConf.mpl</font> again. You can iterate this procedure ! as often as is needed until you get an installation without error messages. ! Particular settings you may want to check are the following: ! <dl> ! <dt><em>Did you already have </em><font color='green'>tth</font> ! <em>installed prior to installing AiM?</em> ! <dd>If so have a quick look at the section regarding ! <a href = "#tth">TtH</a>.</dd> ! <dt><em>Do you need to set the port used by Tomcat to something other ! that the default?</em> ! <dd>The default port used by Tomcat is 8080. Prior to AiM 3.0 the ! default port was 80. The issues to consider are: ! <ul> ! <li>When port 80 is used, it need not appear in the URL, but then ! Tomcat needs to be run as a root process.</li> ! <li>If port 8080 is used (or any other port > 1024) then the ! string <tt>:8080</tt> (or whatever port was used) needs to ! appear after the domain part of the URL, but Tomcat need not ! be run as a root process.</li> ! </ul> ! If you are upgrading from a previous installation ! that used port 80, then it will probably be best to stick with that, ! but then you will need to set ! <blockquote> ! Config['TomcatPort'] := 80: ! </blockquote> ! in <font color='green'>ManualConfig.mpl</font>. If you neglected ! to do this the first time around you may have to manually edit ! the files <font color='green'>admin.html</font> and ! <font color='green'>index.html</font> in ! the <font color='green'>WEB-INF</font> directory and ! <font color='green'>DefaultZone.mpl</font> ! in the <font color='green'>WEB-INF/root</font> directory, to remove ! the string <tt>:8080</tt>. Incidentally, the port used by Tomcat is ! set in the <tt><Connector/><tt> tag ! (that is in turn embedded in <tt><Server ...><Service ...> ! ... </Service></Server></tt>) in the file ! <font color='green'>/usr/local/tomcat/conf/server.xml</font>.</dd> ! <dt><em>Is the time set correctly?</em> ! <dd>There is currently a problem with time zones; if automatic ! configuration reports a time zone that includes a shift for ! summer time, then you may need to manually correct it to the ! corresponding zone without a shift. For example, ! BST = British Summer Time = GMT + 1 hour should be changed to ! GMT = GMT + 0 hours. If you are in the southern hemisphere or ! your locale doesn't have daylight saving, you may want ! to hard-set the time in <font color='green'>ManualConfig.mpl</font> ! (see the end of the file).</dd> ! </dl> <p/> By the way, by running <font color='green'>AutoConf.mpl</font>, *************** *** 206,211 **** configures Tomcat, writing <ul> - <li>configuration information for Tomcat to the file - <font color='green'>/usr/local/tomcat/conf/server.xml</font>;</li> <li>AiM-specific configuration information to the file <font color='green'>WEB-INF/web.xml</font> under the --- 274,277 ---- *************** *** 222,225 **** --- 288,323 ---- executing <font color='green'>WEB-INF/startaim.sh</font> in the main AiM directory. + <p/> + The scripts <font color='green'>WEB-INF/startaim.sh</font> and + <font color='green'>WEB-INF/stopaim.sh</font> start and stop the + Tomcat server <em>completely</em>. This may be inconvenient if you have + multiple AiM installations or indeed other webapps served by your + Tomcat, in which case you may wish to activate Tomcat's + <strong>manager</strong> role. One way to do this is to add a line + <blockquote> + <code><user name="..." password="..." roles="manager" /></code> + </blockquote> + for appropriate ...s in <font + color='green'>/usr/local/tomcat/conf/tomcat-users.xml</font> + and the lines + <blockquote> + <code><Context path="/manager" debug="0" privileged="true" + docBase="/usr/local/tomcat/server/webapps/manager"/></code> + </blockquote> + in <font color='green'>/usr/local/tomcat/conf/server</font> between the + <code><Server ...><Service ...> ... + </Service></Server></code> tags. After restarting Tomcat + you will then be able to start and stop a single installation of AiM, by + entering the appropriate one of + <blockquote> + <tt>http://.../manager/stop?path=/AiM</tt><br/> + <tt>http://.../manager/start?path=/AiM</tt> + </blockquote> + in the URL address field of your web browser, where ... is + the appropriate domain of your AiM site. These commands each bring up a + dialog box in which you must enter a username and password (as defined in + <font color='green'>/usr/local/tomcat/conf/tomcat-users.xml</font>). See + <a href = + "http://jakarta.apache.org/tomcat/tomcat-4.1-doc/manager-howto.html">http://jakarta.apache.org/tomcat/tomcat-4.1-doc/manager-howto.html</a> for more details. </li> <li>Point your webbrowser at the URL of the AiM server. This will be something *************** *** 299,304 **** server, or change the port that Tomcat is listening and also set <font color='green'>Config['TomcatPort']</font> ! in <font color='green'>AutoConfig.mws</font> to specify a ! different port and reexecute that worksheet. </li> <li>The message <font color='red'>Catalina.stop: --- 397,403 ---- server, or change the port that Tomcat is listening and also set <font color='green'>Config['TomcatPort']</font> ! in <font color='green'>ManualConfig.mpl</font> to specify a ! different port and rerun <font color='green'>AutoConf.mpl</font> ! (see <a href = "#reconfig">above</a>. </li> <li>The message <font color='red'>Catalina.stop: *************** *** 309,313 **** </ul> <hr/> ! Last modified by Greg Gamble on 30/08/03 </body> --- 408,412 ---- </ul> <hr/> ! Last modified by Greg Gamble on 01/09/03 </body> |
