# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1450540162 -7200
# Node ID 54a86a023f1b371025e741b07bcc6f3f1033bc59
# Parent  c10a645a08fc89db3f8214772f686a81835dd547
Capture terminal session.

diff -r c10a645a08fc -r 54a86a023f1b terminal.rst
--- a/terminal.rst	Sat Dec 19 15:33:28 2015 +0200
+++ b/terminal.rst	Sat Dec 19 17:49:22 2015 +0200
@@ -80,7 +80,7 @@
 Capture terminal session.
 =========================
 
-Use *script* utility::
+Use ``script`` utility::
 
   $ script out.file
   sh# ....