119 lines
5.6 KiB
HTML
119 lines
5.6 KiB
HTML
<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>
|