terminal.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Thu, 08 Sep 2011 02:24:26 +0300
changeset 986 858ecbc30566
parent 985 6a75b1b2976b
child 987 deddbee5fe5f
permissions -rw-r--r--
print long name
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
929
41752712a800 Fix syntax foe RST.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 926
diff changeset
     1
.. -*- coding: utf-8; -*-
926
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     2
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     3
Spec.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     4
=====
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     5
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     6
  http://en.wikipedia.org/wiki/C0_and_C1_control_codes
929
41752712a800 Fix syntax foe RST.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 926
diff changeset
     7
                C0 and C1 control codes
926
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     8
  http://en.wikipedia.org/wiki/ECMA-48
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     9
                ANSI escape sequences
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    10
985
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    11
Check terminal capabilities.
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    12
============================
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    13
::
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    14
986
858ecbc30566 print long name
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 985
diff changeset
    15
  $ infocmp -1 xterm
985
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    16
        ...
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    17
    colors#8,
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    18
    bold=\E[1m,
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    19
    blink=\E[5m,
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    20
        ...
986
858ecbc30566 print long name
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 985
diff changeset
    21
  $ infocmp -1L xterm    # print long name
858ecbc30566 print long name
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 985
diff changeset
    22
985
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    23
  $ tput -Txterm colors
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    24
  8
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    25
  $ tput -Txterm blink
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    26
  ^[[5m
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    27
926
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    28
Old hardware terminal.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    29
======================
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    30
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    31
VT102.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    32
------
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    33
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    34
VT100 is a video terminal that was made by Digital Equipment Corporation (DEC). It was introduced in
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    35
August 1978. Its detailed attributes became the de facto standard for terminal emulators.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    36
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    37
The control sequences used by the VT100 family are based on the ANSI X3.64 standard, later ECMA-48
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    38
and ISO/IEC 6429.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    39
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    40
The VT101 and VT102 were cost-reduced non-expandable follow-on products, with the VT102 including
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    41
the AVO and serial printer port options of the VT100.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    42
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    43
In 1983, the VT100 was replaced by the more-powerful VT200 series terminals such as the VT220.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    44
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    45
  http://en.wikipedia.org/wiki/VT102
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    46
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    47
VT220.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    48
------
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    49
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    50
  http://en.wikipedia.org/wiki/VT220
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    51
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    52
X window pseudo terminal.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    53
=========================
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    54
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    55
luit.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    56
-----
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    57
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    58
Luit is a filter that can be run between an arbitrary application and a UTF-8
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    59
terminal emulator. It will convert application output from the locale's
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    60
encoding into UTF-8, and convert terminal input from UTF-8 into the locale's
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    61
encoding.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    62
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    63
Example::
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    64
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    65
  $ luit -encoding 'ISO 8859-1' emacs -nw
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    66
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    67
Capture terminal session.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    68
=========================
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    69
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    70
Use *script* utility::
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    71
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    72
  $ script out.file
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    73
  sh# ....
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    74
  ^d
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    75
  $ cat out.file
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    76
  ...
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    77
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    78