Port details on branch 2022Q2 |
- jedit Powerful programmer's text editor written in Java
- 5.6.0_1,1 editors =19 5.6.0_1,1Version of this port present on the latest quarterly branch.
- Maintainer: danilo@FreeBSD.org
- Port Added: 2000-06-22 10:18:20
- Last Update: 2024-01-10 08:16:01
- Commit Hash: 1b819e4
- People watching this port, also watch:: javavmwrapper, gmake, zip, unzip
- Also Listed In: java
- License: GPLv2
- WWW:
- https://jedit.sourceforge.net/
- Description:
- jEdit is an Open Source programmer's text editor written in Java. It is
released under the GNU General Public License. jEdit was written for Java 1.1
with Swing 1.1, and also runs under Java 2.
As far as text editors written in Java go, jEdit is one of the best. It has an
easy to use, intuitive interface, and enough features and flexibility to please
even the most hard-core programmer. A very incomplete list of jEdit's features
follows.
o Syntax highlighting for 200+ file types (including C, C++, Java, Perl, etc)
o Semi-intelligent auto indent in C, C++ and Java modes
o Bracket highlighting and matching
o Powerful macro system
o Auto-expanding abbreviations for the frequiently used strings
o Powerful search and replace - supports regular expressions and multiple file
search/replace; Search and replace operations can be recorded in macros
o Any number of strings and caret positions can be stored for later use in
so-called registers
o Rectangular selections for working with column-based files
o Any number of editor windows can be opened, and each view can be split into
multiple panes for side-by-side viewing of multiple files
o Unlimited undo/redo
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/editors/jedit/ && make install clean
- To add the package, run one of these commands:
- pkg install editors/jedit
- pkg install jedit
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: jedit
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1603830463
SHA256 (jedit5.6.0install.jar) = 5aad300963823605bf42a7e58c94a4aba6a2e675f33025b4423d24b45bc47711
SIZE (jedit5.6.0install.jar) = 3857438
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- x11.pc : x11/libX11
- Runtime dependencies:
-
- java : java/openjdk11
- x11.pc : x11/libX11
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for jedit-5.6.0_1,1:
DOCS=on: Build and/or install documentation
MACROS=on: Install default set of macros (highly recommended)
===> Use 'make config' to modify these settings
- Options name:
- editors_jedit
- USES:
- cpe xorg
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|