|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
installation.html
Sprache: HTML
|
|
| products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/FAQ/installation.html |
 |
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Installation Questions</title><meta name="generator" content="DocBook XSL Stylesheets V1.79.1"><link rel="home" href="index.html" title="jEdit Frequently Asked Questions"><link rel="up" href="index.html" title="jEdit Frequently Asked Questions"><link rel="prev" href="general.html" title="General Questions"><link rel="next" href="usage.html" title="Usage Questions"></head><body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Installation Questions</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="general.html">Prev</a> </td><th width="60%" align="center"> </th><td width="20%" align="right"> <a accesskey="n" href="usage.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="installation"></a>Installation Questions</h2></div></div></div><p>This section deals with installing jEdit using the Java-based
installation program, as well as installation issues that are specific to
particular operating systems.</p><div class="qandaset"><a name="d0e622"></a><dl><dt>1. <a href="installation.html#install-general">General installation questions</a></dt><dd><dl><dt>Q: <a href="installation.html#d0e626">What is the easiest way to install jEdit?</a></dt><dt>Q: <a href="installation.html#d0e673">Why is there no Java Web Start version of
jEdit?</a></dt><dt>Q: <a href="installation.html#d0e680">How do I upgrade from one release of jEdit to
another?</a></dt></dl></dd><dt>2. <a href="installation.html#install-mac">Installing jEdit on MacOS</a></dt><dd><dl><dt>Q: <a href="installation.html#d0e695">How do I install jEdit on MacOS 8 or MacOS 9? s</a></dt><dt>Q: <a href="installation.html#d0e726">How do I uninstall jEdit for Mac OS?</a></dt></dl></dd><dt>3. <a href="installation.html#install-windows">Installing jEdit on Windows</a></dt><dd><dl><dt>Q: <a href="installation.html#d0e739">Is there anything different about installing jEdit on
Windows?</a></dt><dt>Q: <a href="installation.html#d0e766">Do I need any special Windows components to run
jEditLauncher?</a></dt><dt>Q: <a href="installation.html#d0e773">Can I run jEdit on Microsoft's virtual machine?1. General installation questions | - Q: What is the easiest way to install jEdit?
- Q: Why is there no Java Web Start version of
jEdit?</a></dt><dt>Q: <a href="installation.html#d0e680">How do I upgrade from one release of jEdit to
another?</a></dt></dl></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e626"></a><a name="easy-howto-install"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>What is the easiest way to install jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>First, make sure you have a working installation of
the Java platform. To run jEdit, you will need a platform
package having a version number of at least 11. If you do not
have the Java platform, we recommend downloading the larger
<span class="quote">“<span class="quote">Software Development Kit</span>”</span> (SDK), instead of
the smaller <span class="quote">“<span class="quote">Java Runtime Environment</span>”</span> (JRE),
because you will need the tools supplied with the SDK if you
will be using Java for development. You will need to know
the path of the Java application launcher, which is called
<code class="filename">java.exe</code> on Windows systems and simply
<code class="filename">java</code> on others.</p><p>Next, decide whether you want the current "stable"
version or the latest development version. As a general
rule, the stable version is a good choice for first-time
users. Download the Java installer for the version
you have chosen from the jEdit web site; it consists of a
single file with a name in the style
<code class="filename">jeditXXXinstall.jar</code>. This file is a
compressed archive containing all of the files you need for
jEdit to run as well as an installer application written in
Java. You can put this file anywhere on your hard disk that
is convenient.</p><p>To run the installer, do whatever you normally do to
run a Java jar archive. If this is your first time, follow
these steps:</p><div class="procedure"><ol class="procedure" type="1"><li class="step"><p>Open a terminal or command interpreter
window.</p></li><li class="step"><p>Change the current directory to the directory
in which you have stored the jEdit installer
file.</p></li><li class="step"><p>Run this command: <strong class="userinput"><code>[full path to java
application launcher] -jar
jeditXXXinstall.jar</code></strong></p></li></ol></div><p>The installer will load and display a series of
dialogs for selecting a few simple options, including the
directory in which you wish jEdit installed. It will also
tell you how much disk space you need for the main program
and various installation options.</p><p>If this is your first download of jEdit, you should
definitely install the set of macros that come with the
application. Many of them are useful for all programmers,
and even the ones you don't use can serve as models when you
eventually begin writing your own macros.</p><p>The installation process is very short. If you are
installing the program on Windows and you select the
jEditLauncher option, you should be able to start jEdit by
clicking on any of the icons that the installation program
provides. On other systems, you can enter
<strong class="userinput"><code>jedit</code></strong> in a terminal window or create
your own desktop or menu shortcut.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e673"></a><a name="java-web-start"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>Why is there no Java Web Start version of
jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>In Java Web Start, dynamically-loaded classes (ie,
plugins) run in a sandbox unless they are explicitly signed.
Also, the protocol handler API prevents protocol handlers
from being added if they are not loaded via the system class
loader (i.e via the Java Web Start class loader). So the
lack of plugin support and jeditresource protocol makes it
useless.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e680"></a><a name="install-upgrade"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>How do I upgrade from one release of jEdit to
another?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>Simply delete the existing jEdit directory and run the
installer (if any) to install the new version. Settings are
kept in <code class="filename">~/.jedit</code>, and will not be
affected. </p><p> Or, install the Updater plugin, which can download and
install point releases or daily builds. </p></td></tr><tr class="qandadiv"><td align="left" valign="top" colspan="2"><h4 class="title"><a name="install-mac"></a>2. Installing jEdit on MacOS</h4></td></tr><tr class="toc"><td align="left" valign="top" colspan="2"><dl><dt>Q: <a href="installation.html#d0e695">How do I install jEdit on MacOS 8 or MacOS 9? s</a></dt><dt>Q: <a href="installation.html#d0e726">How do I uninstall jEdit for Mac OS?</a></dt></dl></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e695"></a><a name="install.mac9-basic"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>How do I install jEdit on MacOS 8 or MacOS 9? s</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>The latest version of jEdit requires
MacOS X (preferably 10.5 or later), because the Java
platforms of earlier MacOS version are outdated.</p><p>Once you have completed installing jEdit locate the
jedit.jar file and do the following:</p><div class="procedure"><ol class="procedure" type="1"><li class="step"><p>Drag the <code class="filename">jedit.jar</code> to
JBinary and JBinary will launch.</p></li><li class="step"><p>In the Command window in the Class path box
replace <strong class="userinput"><code>jedit</code></strong> with
<strong class="userinput"><code>org.gjt.sp.jedit.jEdit</code></strong>.</p></li><li class="step"><p>Then click the Save settings button. It will
ask for an application name and will create a
double-clickable icon on your desktop.</p></li><li class="step"><p>Double-click on your icon to launch
jEdit.</p></li></ol></div></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e726"></a><a name="d0e727"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>How do I uninstall jEdit for Mac OS?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>There are no system files, so simply drop the jEdit
folder in the trash. If you want to remove the settings
directory used by jEdit you will find it at
<code class="filename">~/.jedit</code>. It is hidden, so you will
need to remove it from the command line, or use one of the
various uilities available that will let you see it.</p></td></tr><tr class="qandadiv"><td align="left" valign="top" colspan="2"><h4 class="title"><a name="install-windows"></a>3. Installing jEdit on Windows</h4></td></tr><tr class="toc"><td align="left" valign="top" colspan="2"><dl><dt>Q: <a href="installation.html#d0e739">Is there anything different about installing jEdit on
Windows?</a></dt><dt>Q: <a href="installation.html#d0e766">Do I need any special Windows components to run
jEditLauncher?</a></dt><dt>Q: <a href="installation.html#d0e773">Can I run jEdit on Microsoft's virtual machine?
| Q: | Is there anything different about installing jEdit on
Windows?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>For the Microsoft Windows family of operating systems,
jEdit provides an additional package of features called
jEditLauncher. These features include: </p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p>Built-in shortcut icons for launching
jEdit;</p></li><li class="listitem"><p>Support for opening files in jEdit using custom
entries in the context (right-click) menu of the
Windows shell;</p></li><li class="listitem"><p>Support for running BeanShell scripts in jEdit
from outside the application;</p></li><li class="listitem"><p>Support for launching jEdit and loading files
using scripting languages such as VBScript, Perl and
Python;</p></li><li class="listitem"><p>Automatic uninstallation of jEdit using the
<span class="quote">“<span class="quote">Add/Remove Programs</span>”</span> applet in Control
Panel.</p></li></ul></div><p> The package is a recommended option that
is selected by default when you install jEdit. The Java
installer application launches a separate Windows installer
module for the native Windows executables that comprise the
jEditLauncher package. If the installation involves an
upgrade, you may be asked to reboot your computer to
complete the process.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e766"></a><a name="install-windows-components"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>Do I need any special Windows components to run
jEditLauncher?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>Regardless of the version of Windows that you use, if
you have kept it reasonably up-to-date with service packs or
component upgrades from Microsoft, you should have no
trouble running jEditLauncher. </p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e773"></a><a name="install-windows-vm"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>Can I run jEdit on Microsoft's virtual machine? | A: | The latest version of jEdit requires at
least version 11 of the Java platform, and therefore may
not be compatible with 3rd party virtual machines.</p></td></tr></tbody></table></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="general.html">Prev</a> </td><td width="20%" align="center"> </td><td width="40%" align="right"> <a accesskey="n" href="usage.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">General Questions </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Usage Questions</td></tr></table></div></body></html>
¤ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
|
|
|
|
|
