terminal.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Tue, 07 Feb 2023 00:53:39 +0200
changeset 2555 70383fa8bf12
parent 2466 ebbf146d86c1
permissions -rw-r--r--
About copying SSH pubkey.
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
1032
4decc3e00bb6 Fix coding and contents.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 987
diff changeset
     3
===========
4decc3e00bb6 Fix coding and contents.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 987
diff changeset
     4
 Terminal.
4decc3e00bb6 Fix coding and contents.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 987
diff changeset
     5
===========
4decc3e00bb6 Fix coding and contents.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 987
diff changeset
     6
.. contents::
1905
fba288d59662 Include only local subsections into TOC. This prevent duplication of
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1835
diff changeset
     7
   :local:
1032
4decc3e00bb6 Fix coding and contents.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 987
diff changeset
     8
926
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
     9
Spec.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    10
=====
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    11
2228
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    12
http://en.wikipedia.org/wiki/C0_and_C1_control_codes
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    13
  C0 and C1 control codes
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    14
http://en.wikipedia.org/wiki/ECMA-48
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    15
  ANSI escape sequences
926
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    16
985
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    17
Check terminal capabilities.
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    18
============================
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    19
::
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 -1 xterm
985
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    22
        ...
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    23
    colors#8,
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    24
    bold=\E[1m,
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    25
    blink=\E[5m,
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    26
        ...
986
858ecbc30566 print long name
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 985
diff changeset
    27
  $ infocmp -1L xterm    # print long name
858ecbc30566 print long name
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 985
diff changeset
    28
985
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    29
  $ tput -Txterm colors
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    30
  8
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    31
  $ tput -Txterm blink
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    32
  ^[[5m
6a75b1b2976b Check terminal capabilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 929
diff changeset
    33
987
deddbee5fe5f Print highlighted word.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 986
diff changeset
    34
Print highlighted word::
deddbee5fe5f Print highlighted word.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 986
diff changeset
    35
deddbee5fe5f Print highlighted word.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 986
diff changeset
    36
  $ h=`tput smso`
deddbee5fe5f Print highlighted word.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 986
diff changeset
    37
  $ n=`tput rmso`
deddbee5fe5f Print highlighted word.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 986
diff changeset
    38
  $ echo ${h}xxx${n}
deddbee5fe5f Print highlighted word.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 986
diff changeset
    39
  xxx
deddbee5fe5f Print highlighted word.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 986
diff changeset
    40
926
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    41
Old hardware terminal.
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
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    44
VT102.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    45
------
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
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
    48
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
    49
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    50
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
    51
and ISO/IEC 6429.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    52
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    53
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
    54
the AVO and serial printer port options of the VT100.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    55
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    56
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
    57
2228
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    58
* http://en.wikipedia.org/wiki/VT102
926
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    59
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    60
VT220.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    61
------
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    62
2228
837f1337c59b Removed indentation that compiled into <blockquote>.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1912
diff changeset
    63
* http://en.wikipedia.org/wiki/VT220
926
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
X window pseudo terminal.
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
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    68
luit.
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
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    71
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
    72
terminal emulator. It will convert application output from the locale's
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    73
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
    74
encoding.
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    75
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    76
Example::
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
  $ luit -encoding 'ISO 8859-1' emacs -nw
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    79
2463
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
    80
Capture terminal session
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
    81
========================
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
    82
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
    83
``stript`` & ``ttyrec`` record byte streams together with timestamps.
926
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    84
2463
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
    85
``stript`` & ``ttyrec`` are not avaialble in Cygwin.
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
    86
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
    87
GNU Screen is capable to log terminal output to a file (literary, without timestamps) and available
2466
ebbf146d86c1 Option for recording with Screen from CLI option.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2465
diff changeset
    88
in Cygwin:
ebbf146d86c1 Option for recording with Screen from CLI option.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2465
diff changeset
    89
ebbf146d86c1 Option for recording with Screen from CLI option.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2465
diff changeset
    90
* start with option ``-L``, long format looks like: ``screen -L -Logfile my.log bash``
ebbf146d86c1 Option for recording with Screen from CLI option.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2465
diff changeset
    91
* or just push key ``C-a H`` to start a recording Output will be saved into the file
ebbf146d86c1 Option for recording with Screen from CLI option.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2465
diff changeset
    92
  ``screenlog.0``.
2463
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
    93
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
    94
With ``script`` utility::
926
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    95
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    96
  $ script out.file
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    97
  sh# ....
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
    98
  ^d
2463
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
    99
  $ less out.file
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
   100
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
   101
Wikipedia articles:
926
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   102
2463
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
   103
* https://en.wikipedia.org/wiki/Ttyrec
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
   104
* https://en.wikipedia.org/wiki/Script_(Unix)
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
   105
2465
1f5e1b2e8db1 Added link to Screen doc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2464
diff changeset
   106
https://www.gnu.org/software/screen/manual/html_node/Log.html
1f5e1b2e8db1 Added link to Screen doc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2464
diff changeset
   107
  Begins/ends logging of the current window to the file ``screenlog.n`` in the window’s default
1f5e1b2e8db1 Added link to Screen doc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2464
diff changeset
   108
  directory, where n is the number of the current window.
1f5e1b2e8db1 Added link to Screen doc.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2464
diff changeset
   109
2463
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
   110
Installing terminal utilities
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
   111
=============================
926
25c9a1591ba1 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff changeset
   112
1037
49735af70121 Installing terminal utilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1032
diff changeset
   113
For Cygwin::
49735af70121 Installing terminal utilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1032
diff changeset
   114
2463
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
   115
  setup.exe -p ncurses
2d7b8b7ebd48 Capture terminal session.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 2228
diff changeset
   116
  apt-cyg install ncurses
1037
49735af70121 Installing terminal utilities.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents: 1032
diff changeset
   117