Port details on branch 2022Q2 |
- mined Text mode editor with Unicode support
- 2022.27_2 editors =3 2022.27_1Version of this port present on the latest quarterly branch.
- Maintainer: thierry@FreeBSD.org
- Port Added: 2004-12-25 15:33:47
- Last Update: 2024-01-30 18:33:42
- Commit Hash: 9530010
- People watching this port, also watch:: firefox, mutt, kicad, python, postfix
- License: GPLv3
- WWW:
- https://mined.github.io/
- Description:
- Mined was the first text mode editor with Unicode support. It now has both
extensive Unicode and CJK support offering many specific features and
covering special cases that other editors are not aware of (like auto-
detection features and automatic handling of terminal variations).
And basically, it is an editor tailored to efficient editing of plain text
documents and programs, with features and interactive behaviour designed
for this purpose.
See also <https://github.com/mined/mined>.
- ¦ ¦ ¦ ¦
- 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/mined/ && make install clean
- To add the package, run one of these commands:
- pkg install editors/mined
- pkg install mined
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: mined
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1706636561
SHA256 (mined-mined-2022.27_GH0.tar.gz) = c4b35b068f2bba3e34f0ef9a989602b4bbed3f76c95b79788de1ad596ac50a68
SIZE (mined-mined-2022.27_GH0.tar.gz) = 7264424
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:
-
- nonexistent : textproc/UCD
- update-desktop-database : devel/desktop-file-utils
- gmake>=4.3 : devel/gmake
- Runtime dependencies:
-
- update-desktop-database : devel/desktop-file-utils
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for mined-2022.27_2:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- editors_mined
- USES:
- desktop-file-utils gmake ncurses
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|