1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
<head>
<title>proof(1) - Plan 9 from User Space</title>
<meta content="text/html; charset=utf-8" http-equiv=Content-Type>
</head>
<body bgcolor=#ffffff>
<table border=0 cellpadding=0 cellspacing=0 width=100%>
<tr height=10><td>
<tr><td width=20><td>
<tr><td width=20><td><b>PROOF(1)</b><td align=right><b>PROOF(1)</b>
<tr><td width=20><td colspan=2>
<br>
<p><font size=+1><b>NAME </b></font><br>
<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
proof – troff output interpreter<br>
</table>
<p><font size=+1><b>SYNOPSIS </b></font><br>
<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
<tt><font size=+1>proof</font></tt> [ <tt><font size=+1>−m</font></tt><i>mag</i> ] [ <tt><font size=+1>−/</font></tt><i>nview</i> ] [ <tt><font size=+1>−F</font></tt> <i>dir</i> ] [ <tt><font size=+1>−d</font></tt> ] [ <i>file</i> ]<br>
</table>
<p><font size=+1><b>DESCRIPTION </b></font><br>
<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
<i>Proof</i> reads <a href="../man1/troff.html"><i>troff</i>(1)</a> intermediate language from <i>file</i> or standard
input and simulates the resulting pages on the screen.
<table border=0 cellpadding=0 cellspacing=0><tr height=5><td></table>
After a page of text is displayed, <i>proof</i> pauses for a command
from the keyboard. The typed commands are:<br>
newlineGo on to next page of text.<br>
<tt><font size=+1>−</font></tt> Go back to the previous page.<br>
<tt><font size=+1>q</font></tt> Quit.<br>
<tt><font size=+1>p</font></tt><i>n</i> Print page <i>n</i>. An out-of-bounds page number means the end nearer
to that number; a missing number means the current page; a signed
number means an offset to the current page.<br>
<i>n</i> Same as <tt><font size=+1>p</font></tt><i>n</i>.<br>
<tt><font size=+1>c</font></tt> Clear the screen, then wait for another command.<br>
<tt><font size=+1>m</font></tt><i>mag</i> Change the magnification at which the output is printed. Normally
it is printed with magnification .9; <i>mag</i>=.5 shrinks it to half
size; <i>mag</i>=2 doubles the size.<br>
<tt><font size=+1>x</font></tt><i>val</i> Move everything <i>val</i> screen pixels to the right (left, if <i>val</i>
is negative).<br>
<tt><font size=+1>y</font></tt><i>val</i> Move everything <i>val</i> screen pixels down (up, if <i>val</i> is negative).<br>
<tt><font size=+1>/</font></tt><i>nview</i> Split the window into <i>nview</i> pieces. The current page goes
into the rightmost, bottommost piece, and previous pages are shown
in the other pieces.<br>
<tt><font size=+1>−F</font></tt> <i>dir</i>Use <i>dir</i> for fonts instead of <tt><font size=+1>/lib/font/bit</font></tt>.<br>
<tt><font size=+1>d</font></tt> Toggle the debug flag.
<table border=0 cellpadding=0 cellspacing=0><tr height=5><td></table>
These commands are also available, under slightly different form,
from a menu on button 3. The <tt><font size=+1>pan</font></tt> menu item allows arbitrary positioning
of the page: after selecting <tt><font size=+1>pan</font></tt>, press the mouse button again
and hold it down while moving the page to the desired location.
The page will be redisplayed in its entirety when
the button is released. Mouse button 1 also pans, without the
need for selecting from a menu.
<table border=0 cellpadding=0 cellspacing=0><tr height=5><td></table>
The <tt><font size=+1>m</font></tt>, <tt><font size=+1>x</font></tt>, <tt><font size=+1>y</font></tt>, <tt><font size=+1>F</font></tt>, <tt><font size=+1>/</font></tt>, and <tt><font size=+1>d</font></tt> commands are also available as command
line options.<br>
</table>
<p><font size=+1><b>FILES </b></font><br>
<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
<tt><font size=+1>/usr/local/plan9/font/*<br>
</font></tt>
<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
fonts<br>
</table>
<tt><font size=+1>/usr/local/plan9/font/MAP<br>
</font></tt>
<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
how to convert troff output fonts and character names into screen
fonts and character numbers<br>
</table>
</table>
<p><font size=+1><b>SOURCE </b></font><br>
<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
<tt><font size=+1>/usr/local/plan9/src/cmd/proof<br>
</font></tt>
</table>
<p><font size=+1><b>SEE ALSO </b></font><br>
<table border=0 cellpadding=0 cellspacing=0><tr height=2><td><tr><td width=20><td>
<a href="../man1/lp.html"><i>lp</i>(1)</a>, <a href="../man1/gs.html"><i>gs</i>(1)</a>, <a href="../man1/page.html"><i>page</i>(1)</a><br>
J. F. Ossanna and B. W. Kernighan, “Troff User’s Manual”<br>
</table>
<td width=20>
<tr height=20><td>
</table>
<!-- TRAILER -->
<table border=0 cellpadding=0 cellspacing=0 width=100%>
<tr height=15><td width=10><td><td width=10>
<tr><td><td>
<center>
<a href="../../"><img src="../../dist/spaceglenda100.png" alt="Space Glenda" border=1></a>
</center>
</table>
<!-- TRAILER -->
</body></html>
|