Resource Locations - touniez/comp402doc GitHub Wiki

These options specify where to find Java resources on your computer, such as compilers or classpath directories.

Web Browser (browser.file = "")
and

Web Browser Command (browser.string = "")
These two settings allow you to specify how Javadoc files and links from the Help files are opened. On Windows and Mac OS X, we suggest that you leave both options blank so that the default browser of the OS will be used. On other platforms, e.g. on Linux, you need to set one or both of them to let DrJava successfully open HTML files.

The filename specified as "Web Browser", if one is set, is the executable that will be run. If no text has been entered as "Web Browser Command", then only the URL will be passed as parameter to the executable.

If text has been entered as "Web Browser Command", then any occurrence of "<URL>" will be replaced with the URL to open. If "<URL>" never occurs. then the URL to open will be appended to the very end.

Note that this means there are several ways of accomplishing the same thing. Let's assume that "/usr/bin/mozilla" is the filename of the browser. Then these settings all accomplish the same thing:

  • "/usr/bin/mozilla" as "Web Browser" and nothing as "Web Browser Command"

  • "/usr/bin/mozilla" as "Web Browser" and "<URL>" as "Web Browser Command"

  • Nothing as "Web Browser" and "/usr/bin/mozilla" as "Web Browser Command"

  • Nothing as "Web Browser" and "/usr/bin/mozilla <URL>" as "Web Browser Command"

Useful settings for Linux: Leave the "Web Browser" setting blank and enter the text specified below as "Web Browser Command".

  • Mozilla (if it is already running)

    mozilla
                         -remote "openurl(<URL>)"

  • Mozilla (if it is not already running)

    mozilla
                     <URL>

  • Konqueror (the KDE web browser)

    konqueror <URL>

Useful settings for Windows: If you do not want the system's default web browser, either specify the executable as "Web Browser" and leave the "Web Browser Command" blank, or leave the "Web Browser" setting blank, and enter the command line as "Web Browser Command". If the web browser's filename contains spaces, then the filename must be surrounded by double quotes in the "Web Browser Command". Example:

  • Leave the "Web Browser" setting blank and enter the following text as "Web Browser Command":

    "C:\Program Files\Internet Explorer\iexplore.exe"
                 <URL>

Useful settings for Mac OS X: If you do not want the system's browser, we advise that you use the "Web Browser Command" and leave the "Web Browser" setting blank. If possible, use Mac OS X's "open" command as in the examples below:

  • Open in Safari: Leave the "Web Browser" setting blank and enter the following text as "Web Browser Command":

    open -b com.apple.Safari
                 <URL>

  • Open in TextEdit: Leave the "Web Browser" setting blank and enter the following text as "Web Browser Command":

    open -b com.apple.TextEdit
                 <URL>

Tools.jar Location (javac.location = "")
Specifies the location of the JDK's tools.jar, which contains the classes necessary for the compiler and the debugger. This file is usually found in the JDK's lib directory.

Display All Compiler Versions (all.compiler.versions = false)
By default, DrJava only displays one compiler per major version, even if multiple updates are found (Example: You have JDK 6 Updates 10 and 14 installed; DrJava will only display JDK 6 Update 14). To display all compiler versions, mark this checkbox. Note: You have to restart DrJava when you change this setting.

Extra Classpath (extra.classpath = "")
Used to specify any directories or jar files to append to the classpath of the Interactions window and the compiler. Separate the directories using the system-specific path separator (eg. colon on Unix, semicolon on Windows).

⚠️ **GitHub.com Fallback** ⚠️