mined
[ -/+options ]
[ +line ]
[ +/search ]
[ files ... ]
xmined ...
umined ...
wmined ...
minmacs ...
mstar ...
mpico ...
multiple accent prefix keys.
Support for Greek (monotonic and polytonic).
Support for Cyrillic accented characters.
large number of 8 bit encodings
(with combining characters for Vietnamese, Thai, Arabic, Hebrew)
transparent handling
and auto-detection of UTF-16 encoded files
Comprehensive and flexible (though standard-conformant) set of
mechanisms to specify both text and terminal encodings
with useful precedences.
Flexible combination of any text encoding with any terminal encoding.
Optional Unicode paste buffer mode with implicit conversion
This manual contains the main topics
Online help is also available.
mined x
mined x y z
cmd | mined
cmd;
a file name for saving can be given later
mined x > y
mined | mail nn
cmd1 | mined | cmd2
cmd1 (output)
and cmd2 (as input)
minmacs ...
mstar ...
mpico ...
xmined ...
umined ...
wmined ...
+number
+/expr
-v
--
++
-" or "+".
+x
When cloning a file (with Save As or a similar feature),
or if permissions are restricted by the environment
(umask setting in Unix), executable permission is set
only where also read permission is set.
-r
-R
+R
+u-u
-uu and is now on by default).
-u (character set)
-EU.
-l (character set)
+u which is
still valid for compatibility.)
-EL.
+u-u (character handling)
-c (character handling)
-b (character handling)
-EX (character set)
-EX (character set)
-E=charmap (character set)
locale charmap command):
Selects the respective character encoding for
text interpretation.
For details on locale-related character encoding configuration,
see Locale configuration.
-E.suffix (character set)
-E:flag (character set)
-Eu (buffer encoding)
-E? (character set)
Determine the encoding(s) of the text file(s) given
as parameters by auto-detection, print out the
information and quit.
-KX (input method handling)
+K (input method handling)
-U (terminal mode)
-U
option or environment setting).
In the latter case, -U
deselects UTF-8 terminal operation.
This option should normally not be used as the mode should
be configured in the environment (see
Locale configuration).
+U (terminal mode)
-U
or +U needs to be used if
the environment is correctly configured to indicate
UTF-8 as it should (see
Unicode handling / Terminal environment).
+UU (terminal mode)
-cc (terminal mode)
+c (terminal mode)
+EX (terminal mode)
+EX (terminal mode)
+EX (terminal mode)
+E=charmap (terminal mode)
locale charmap command):
Assumes the terminal to have the respective encoding.
For details on locale-related character encoding configuration,
see Locale configuration.
+E.suffix (terminal mode)
+E:flag (terminal mode)
+E? (terminal mode)
Determine the terminal encoding and further terminal
encoding features and properties by auto-detection,
print out the information and quit.
-C (character set and terminal mode)
-E option
(with a single-letter CJK tag) effectively into a
combined -E and
+E option.
So mined assumes the given CJK encoding for both
terminal encoding (unless overridden by UTF-8 terminal
auto-detection) and text encoding.
Can be used for quick indication of CJK terminals
(e.g. cxterm, kterm, hanterm) if locale environment
is not properly set.
+C (terminal mode)
+CC (terminal mode)
+C, but even
character codes that do not match the encoding scheme
(e.g. wrt. to specified byte ranges) are written
transparently to the terminal.
+CCC (terminal mode)
+CC and overrides
auto-detection of the terminal capability to display
CJK 3-byte / 4-byte codes which would by default
suppress their display if the terminal does not support them.
+D (keyboard assignment)
Xdefaults.mined
in the Mined runtime support library.)
-w
-a
+j
+jj
-j
-T
-QX
-Qs or -Qr),
-Q option),
-Qs or
-Qr or
-Qf or
-Qd).
-f
-ff
-fff
-F
-FF
-4
-8
-+4
-+8
-P
+P
-LN
-e
-V
-VV
+V
+VV
-W
-B
-k
-*
-M
Mouse control remains enabled.
-oN
-o
without a subsequent digit toggles scrollbar.)
-p
-t< Tab >
-X
-s
-S
-dN
+p
All options are also looked for in the environment variable MINED.
The right-hand cursor block of typical keyboards is assigned the most important movement and paste buffer functions.
| 7 Mark | 8 ↑ | 9 PgUp |
| 4 ← | 5 HOP | 6 → |
| 1 Copy | 2 ↓ | 3 PgDn |
| 0 Paste | . Cut | |
+------+------+------+
| (7) | (8) | (9) |
| Mark | ^ | PgUp |
+------+------+------+
| (4) | (5) | (6) |
| <- | HOP | -> |
+------+------+------+
| (1) | (2) | (3) |
| Copy | v | PgDn |
+------+------+------+
| (0) | (.) |
| Paste | Cut |
+------+------+------+
Note that the mined keypad function assignment as shown here
deviates from the more usual assignment of Home/End to
"move to beginning/end of line" and Del to "delete character".
This is deliberately designed to provide more useful functions
to easily available keys, while e.g. line movement can also
easily be achieved with HOP cursor-left or HOP cursor-right,
respectively, and character deletion can still be done with
the Del key on the smaller keypad.
This keypad function assignment gives you the
best benefit of keypad usage and is thus considered
much more useful than the commonly expected "standard assignment"
although now and then a user is irritated by it.
-k option switches
to the more common assignment by exchanging the
unshifted keypad assignments with the Alt- assignments,
keeping the mined assignment available with Alt.
-k mode,
the more common function assignments (line navigation
and character deletion) are always assigned to
Control-Home/End/Del, while the paste buffer
functions are always assigned to Shift-Home/End/Del
(at least on the small keypad).
| HOP char left | move cursor to beginning of current line |
| HOP char right | move cursor to end of current line |
| HOP line up | move cursor to top of screen |
| HOP line down | move cursor to bottom of screen |
| HOP scroll up | scroll half a screen up |
| HOP scroll down | scroll half a screen down |
| HOP page up | move to beginning of file |
| HOP page down | move to end of file |
| HOP word left | move cursor to previous ";" or "." |
| HOP word right | move cursor to next ";" or "." |
| HOP delete tail of line/line end | delete whole line |
| HOP delete whole line | delete tail of line |
| HOP delete previous character | delete beginning of line |
| HOP set mark | go to mark |
| HOP search | search for current identifier |
| HOP search next | repeat previous (last but one) search |
| HOP copy/cut | copy or cut, but append to buffer |
| HOP save buffer | save buffer, but append to file |
| HOP paste buffer | paste "inter-window buffer", which is the last saved buffer by any invocation of mined on the same machine by the same user. |
| HOP edit next file | edit last file |
| HOP edit previous file | edit first file |
| HOP exit current file | exit mined |
| HOP suspend | suspend without writing file |
| HOP show status line | toggle permanent status line |
| HOP enter HTML tag | embed copy area in HTML tags |
or mouse scroll
or mouse scroll
Configuration hint: To enable mouse operation in a Windows console window, deactivate "QuickEdit mode" in the properties menu.
or scrolling the mouse wheel on this header.
or scrolling the mouse wheel on it.
The flag menus have optional markers in front of each item
showing which items are currently active.
Alt-cursor-left and Alt-cursor-right navigate quickly between
the two sets of menus (pull-down or flag menus).
Scrollable menus: In a low-height terminal (e.g. 24 lines),
longer menus (especially the Encoding menu and the Input Method
menu) may not fit on the terminal. All menus are scrollable
with cursor keys, including Page Down/Up, Home, End keys.
When the window size is changed, open menus are closed in
order to prevent resizing and repositioning problems; this is
planned to be enhanced in a future version.
Note: Your mouse driver or Windows system may be
configured to generate multiple (e.g. 3) mouse wheel events on
one mouse wheel movement (e.g. with Windows). An option
-L1 could compensate for that
scaling (as mined applies a mouse wheel factor by itself which
is 3 by default).
Layout configuration: See Menu display below for configuration of menu appearance.
Configuration hint: On Unix, in order to make Alt work
as a modifier, set the xterm resource metaSendsEscape to true
and the rxvt resource meta8 to false as suggested in the
example file Xdefaults.mined in the
Mined runtime support library.
(With older versions of xterm, setting eightBitInput to false
may be required instead; this xterm option doesn't actually
disable 8 bit input as its name might suggest.)
With xterm, this setting can also be enforced dynamically with
the +D option.
+VV) the commands delete-end-of-line
(^K), delete-word (^T) and delete-end-of-sentence (currently
emacs mode only) append to the top buffer (disabled with the
option -VV).
Paragraph termination modes: Two different definitions of paragraph end are available.
-p that
distinguishes paragraph/line end display.
Auto indentation is automatically suppressed if text is entered very fast (by heuristic detection of input speed) in order to allow unmodified copy and paste using terminal mouse functions.
Xdefaults.mined in the Mined
runtime support library.)
-+4
or -+8, a Tab key input will be
expanded to an appropriate number of Space characters instead
of inserting a Tab character. You can still insert a literal
Tab character with Control-V Tab.
ctags command).
HOP ESC t prompts for an identifier. (Also available from
search or popup menu.)
If a new file is opened for this purpose, the current
file is saved automatically.
If mined is sent an explicit SIGTERM signal it tries to
terminate normally, writing modified text to the file being
edited (this would involve normal interactive handling if that
file is read-only or the file name was changed).
However, when cloning a file (with Save As / Set Name / ESC n
/ ESC d), file access permissions of the originally opened file
are preserved and cloned.
+x command line option adds
executable permission to newly created files
but only to those users that are also given read permission
by the rules above.
Note: With mined 2000.14, the saved position is changed
from the screen column to the actual character position. This
makes a difference in two cases: when the current position
is within a combined character, and when the same file is
opened in terminal windows with different width properties.
Previously stored visual positions are handled compatibly,
but when a file is stored with new position memory mode
and reopened with an older version of mined (e.g. on a
different machine), the column position would just be set
to 0.
Note: With mined 2000.14, mined applies "housekeeping"
to the position entry for the current file, i.e. it removes
old entries for the same file name.
Note that this housekeeping is, however, only done for the
file being edited, not for other files listed in the marker
file. Also note that old style file position memory is used on
PC versions (e.g. djgpp) as updating the marker file does not
appear to work there.
In addition to the current position, mined also stores the paragraph justification margins (only if automatic paragraph justification is active) and the selected Smart Quotes style.
mined -- [ filenames ... ]
In restricted mode, only the file opened when mined was started can
be edited, no commands changing file name reference, involving other
files (copy/paste), or escaping to a shell command will be allowed.
(When mined is invoked without filename argument, a file name
will be prompted for despite restricted mode, however.)
uprint is installed and configured
properly, printing works in any selected character encoding.
See Printing configuration for further
details.
?": this flag menu offers options
for permanent File info, Char info, or
Han character information display.
For the latter, further options can be selected
to configure the information shown.
--": no keyboard mapping
is active.
U":
generated from Unicode data file UnicodeData.txt
H":
generated from Unihan database Unihan.txt
C":
transformed from cxterm input table
M":
transformed from input method of the m17n project
Y":
transformed from yudit keyboard mapping file
V":
transformed from vim keymap file
X":
transformed from X keyboard mapping file
U8":
Unicode/ISO 10646 character set / UTF-8 encoding
16" or "61":
Unicode character set / UTF-16 encoding
(big-endian or little-endian, respectively)
L1": Western
"Latin-1" character set / ISO 8859-1
WL":
Windows Latin character set / "codepage" 1252
(superset of Latin-1)
L9": Western
"Latin-9" character set (with Euro sign) / ISO 8859-15
Cy":
Cyrillic character set / KOI8-RU encoding
(Russian, Ukrainian, Bjelorussian)
Ru":
Cyrillic / Russian KOI8-R encoding;
used if locale environment indicates this as
terminal encoding, not in menu, use
"Cy" instead
which combines KOI8-R and KOI8-U
Uk":
Cyrillic / Ukrainian KOI8-U encoding;
used if locale environment indicates this as
terminal encoding, not in menu, use
"Cy" instead
which combines KOI8-R and KOI8-U
I5":
Cyrillic / ISO 8859-5 encoding
WC":
Cyrillic / Windows Cyrillic encoding
Tj":
Cyrillic / Tadjikistan encoding
Kz":
Cyrillic / Kazachstan encoding
GP":
Georgian character set (not Cyrillic) /
Georgian-PS encoding
I7":
Greek / ISO 8859-7 encoding
I6":
Arabic / ISO 8859-6 encoding
Ar":
Arabic / MacArabic encoding (superset of ISO 8859-6)
I8":
Hebrew / ISO 8859-8 encoding
He":
Hebrew / Windows codepage 1255 (superset of ISO 8859-8)
MR":
Mac-Roman character code
PC":
PC DOS character code ("codepage 437")
PL":
PC Latin character code ("codepage 850")
LN"
where N is 2..8 or "0":
Latin-N or Latin-10 encodings / ISO 8859-2/3/4/9/10/13/14/16
B5":
Traditional Chinese character set /
Big5 encoding with HKSCS extensions
GB":
Simplified Chinese character set /
GB18030 encoding, includes GBK encoding,
includes GB 2312 / EUC-CN encoding
CN":
Traditional Chinese character set /
CNS / EUC-TW encoding (including 4-byte code points)
JP":
Japanese character set / JIS X 0208 / 0212 / 0213 /
EUC-JP encoding (including 3-byte code points)
sJ":
Japanese character set / Shift-JIS encoding
(including single-byte mappings to Halfwidth Forms)
KR":
Korean Unified Hangul character set / UHC encoding,
includes KS C 5601 / KS X 1001 / EUC-KR encoding
Jh":
Korean Johab character set and encoding
VI":
Vietnamese character set / VISCII encoding
TV":
Vietnamese character set / TCVN encoding
TI":
Thai character set / TIS-620 encoding
ç": combined display mode
`": separated display mode:
combining characters are separated from their
base character and displayed with coloured background
H": HOP applies to next command
h": HOP not active
E": text is being edited
V": text is being viewed (modification inhibited)
=": cut/copy replaces (overwrites) paste buffer
+": cut/copy appends to paste buffer
=": like "=",
and indicates Unicode paste buffer mode
+": like "+",
and indicates Unicode paste buffer mode
»": auto-indentation enabled: entering a newline
indents the following line like the current one
¦": auto-indentation disabled
j": justification only on request (ESC j command)
j": justification is performed whenever
text is entered beyond the right margin
J": justification is performed whenever
text is inserted and the line exceeds the
right margin (slightly buggy)
": non-blank line end terminates
paragraph (blank space at line end continues paragraph)
«": empty line terminates paragraph
-o1 option.
Visual structure input is supported by Auto indentation
With the option -P, mined hides
one word (separated by white space) behind the string
"assword" in a line (to accommodate for "password" or
"Password") and displays reverse "*" instead.
Password hiding can be disabled with +P.
P option),
password hiding is activated when editing a file whose
file name starts with "." (Unix "hidden" file convention).
«
| LF (Unix-type line end)
customise indication with MINEDRET or MINEDUTFRET (may contain up to 3 characters to configure different appearance behind the line end) |
«
| CRLF (MSDOS-type two-character line end)
on black and white terminals, µ is used instead
customise indication with MINEDDOSRET or MINEDUTFDOSRET |
«
| CR (Mac-type line end)
on black and white terminals, @ is used instead
customise indication with MINEDMACRET or MINEDUTFMACRET transparently handled and displayed with +R command line option
|
º
| NUL character (pseudo line end) |
¬
| "none" line end (virtual line end as used to split input lines too long for internal handling; will be joined into a single line when saving the file) |
·
| non-breaking space (character code hex A0) |
«
| Unicode line separator |
¶
| Unicode paragraph separator
customise indication with MINEDPARA or MINEDUTFPARA |
¶
| end of paragraph (if enabled by -p)
customise indication with MINEDPARA or MINEDUTFPARA |
»
| line extending the end of the screen line
(move cursor right to shift line display) customise indication with MINEDSHIFT or MINEDUTFSHIFT |
«
| line shifted out left of the screen line
(move cursor left to shift line display back) customise indication with MINEDSHIFT or MINEDUTFSHIFT |
·
| position spanned by Tab character
customise indication with MINEDTAB or MINEDUTFTAB (may contain up to 3 characters to configure different appearance within the Tab span) |
Configuration: Display colour of the indications which
are by default red can be changed with the environment
variable MINEDDIM, display colour for Unicode line end
indications with MINEDUNIMARK. Their values should be the
numeric part of an ANSI terminal control sequence, e.g. 31 for
red, "33;44" for yellow text on blue background.
For more details and recommended settings see the example script
file profile.mined in the
Mined runtime support library.
Default values are compiled in and can be overridden by setting
the variables to empty values.
Note: With the -F option,
mined limits usage of special characters for line indication
and suppresses the interpretation of the MINEDUTF* environment
variables.
-Q is available to configure your
style preference; see also
Terminal interworking problems for configuration hints
to deal terminal-related graphics display trouble.
Alternatively, the option -f reduces
font assumptions and adjusts usage of special characters accordingly.
-Q).
-Qv command line option.
Lithuanian: Case conversion of accented i with retained i dot is handled properly if a Lithuanian locale setting is detected (LC_ALL/LC_CTYPE/LANG begins with "lt").
Turkish and Azeri: Case conversion of i/dotless i is handled properly if a Turkish locale setting is detected (LC_ALL/LC_CTYPE/LANG begins with "tr" or "az").
mined provides accent prefix support for Cyrillic accented
letters. Accent prefix functions for Latin letters are reused
for Cyrillic accents, see the following table:
F5
| diaeresis
| Alt-Ctrl-F6
| descender / macron
| Alt-F5
| stroke
| Control-&
| hook / middle hook
| Alt-Shift-F5
| breve
| Control-;
| tail / tick / upturn
| F6
| vertical stroke
| Shift-F6
| grave
| Shift-F5
| titlo
| acute acute
| double acute
| grave grave
| double grave
| |
mined provides accent prefix support for both monotonic Greek
and polytonic Greek.
Accent prefix functions for Latin letters are reused for Greek accents, see the following table:
F5
| dialytika
| Shift-F5
| perispomeni
| Control-F5
| iota (ypogegrammeni)
| Control-Shift-F5
| prosgegrammeni
| Alt-Shift-F5
| vrachy
| tonos
| oxia
| varia
| Alt-F6
| psili
| Alt-Shift-F6
| dasia
| Control-Shift-F6
| macron
| Alt-6
| psili and oxia
| Control-Alt-6
| dasia and oxia
| Alt-7
| psili and varia
| Control-Alt-7
| dasia and varia
| Alt-8
| psili and perispomeni
| Control-Alt-8
| dasia and perispomeni
| |
An accent prefix can either be applied to the plain Latin base letter, or to a precomposed Vietnamese letter which already has one of the accents. These are:
Examples: Suppose your keyboard is mapped to have Vietnamese characters like A with circumflex available. Then:
also works in non-UTF-8 text
encoding mode (e.g. in VISCII or TCVN encoding).
Note: ¹ according to Language Specific Quoting and Quotation Marks
It may be desirable to distinguish characters in different
script by displaying their glyphs in different colours.
(This especially allows to distinguish easier between
similar glyphs as they occur in Latin/Greek/Cyrillic scripts.)
(Note: Terminal support for combining characters is
auto-detected; additional command line options are available
in case this fails.)
If mined operates on a terminal that handles combining
characters, it offers two editing modes: combined or separated.
They can be toggled by clicking the Combining display flag
in the Mode indication flags area
(right part of the top screen line),
or by the menu entry "Options – Combined display";
separated display mode can also be selected by the
command line option -c.

If the cursor is on a combined character, Control-Del
will delete only the base character, leaving combining
accents which may then be combined with the previous
character.
Xdefaults.mined in the
Mined runtime support library.
With mlterm, enable this with the sample configuration
file mlterm_key in the
Mined runtime support library.
Control-Backarrow can also be configured to work with xterm
but doesn't appear to work with rxvt or mlterm,
use F5 Backarrow instead.

Isolated combining characters,
i.e. those appearing at a line beginning or after a TAB character,
are always displayed like in separated display mode.
Permanent display of character information is toggled with HOP ESC u or by selecting "Char info" in the Info menu (or with HOP "Toggle Char info" in the Options menu).
Shift-F3 cycles casing of a word between all small, title case
(beginning capital), and all capitals. It handles title casing,
using Unicode title case characters for the first character
when appropriate.
For Japanese script, it toggles the word between Hiragana and
Katakana.
It is applicable in all text encodings (since mined 2000.12).
or
(Alt-x) to toggle the preceding character and its hexadecimal code.
For details, see the section in the
command summary.
with Alt-' or Alt-" (works in xterm 214/216 or later (with
modifyOtherKeys feature)).
Smart quotes are applicable in all text encodings provided
the desired quote marks are contained in the selected encoding.
--
| if preceded by a Space character: en dash (U+2013)
otherwise: em dash (U+2014) |
-
| if an adjacent character is in the Hebrew script range: Hebrew hyphen mark Maqaf (U+05BE) |
<-
| leftwards arrow (U+2190) |
->
| rightwards arrow (U+2192)
|