products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/installer image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: install.props   Sprache: Unknown

Spracherkennung für: .props vermutete Sprache: Fortran {Fortran[127] BAT[228] Abap[348]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

###
### Installation settings
###

Program name
app.name=jEdit

Program version
app.version=@jedit.version@

# Info to display on first page of installer
app.readme=readme.html

# License to show on second page
app.license.title=GNU General Public License
app.license=gpl.html

# OS-specific stuff
ostask.unix-script.label=Install shortcut in:
ostask.unix-man.label=Install manual page in:
ostask.unix-man.manpage=jedit.1

# Each component must have a name, a size, and a 'fileset'. The fileset is the
name of a resource, relative to the root of the JAR, where the list of files
# is stored, newline delimited
comp.count=6

comp.0.name=jEdit text editor
comp.0.disk-size=@jedit-program.disksize@
comp.0.real-size=@jedit-program.realsize@
comp.0.fileset=jedit-program

comp.1.name=Default set of macros (highly recommended)
comp.1.disk-size=@jedit-macros.disksize@
comp.1.real-size=@jedit-macros.realsize@
comp.1.fileset=jedit-macros

comp.2.name=API documentation (for macro and plugin development)
comp.2.disk-size=@jedit-api.disksize@
comp.2.real-size=@jedit-api.realsize@
comp.2.fileset=jedit-api

comp.3.name=Windows EXE launcher
comp.3.disk-size=@jedit-windows.disksize@
comp.3.real-size=@jedit-windows.realsize@
comp.3.fileset=jedit-windows
comp.3.os=Windows

comp.4.name=MacOS desktop integration
comp.4.disk-size=@jedit-mac.disksize@
comp.4.real-size=@jedit-mac.realsize@
comp.4.fileset=jedit-mac
comp.4.os=MacOS

comp.5.name=OS/2 start script
comp.5.disk-size=@jedit-os2.disksize@
comp.5.real-size=@jedit-os2.realsize@
comp.5.fileset=jedit-os2
comp.5.os=HalfAnOS

dir.null=Empty directory: will NOT be installed
dir.not-empty=Target directory exists and is not empty
dir.not-directory=Target is NOT a directory, can't install
dir.relative=Relative directory, translated to :
dir.relative-cant-resolve=Can't resolve relative directory !
dir.not-exist=Target directory doesn't exist (we will create it for you)

[ Dauer der Verarbeitung: 0.73 Sekunden  ]