PROOF(1)
π PROOF(1) β proof, the troff output interpreter π
okay bestie, welcome to PROOF(1) from the General Commands Manual β aka proof, the troff output interpreter, and yes sheβs iconic π
β¨ NAME β¨
proof β troff output interpreter
π¦ SYNOPSIS π¦
proof [ -mmag ] [ -/nview ] [ -F dir ] [ -d ] [ file ]
π DESCRIPTION π
proof reads troff(1) intermediate language from file or standard input and simulates the resulting pages on the screen. no cap, itβs literally giving βpreview but make it Unixβ β¨
After a page of text is displayed, proof pauses for a command from the keyboard. The typed commands are:
newlineβ Go on to next page of text.-β Go back to the previous page.qβ Quit.pnβ Print page n. 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.nβ Same aspn.cβ Clear the screen, then wait for another command.mmagβ Change the magnification at which the output is printed. Normally it is printed with magnification.9;mag=.5shrinks it to half size;mag=2doubles the size.xvalβ Move everythingvalscreen pixels to the right (left, ifvalis negative).yvalβ Move everythingvalscreen pixels down (up, ifvalis negative)./nviewβ Split the window intonviewpieces. The current page goes into the rightmost, bottommost piece, and previous pages are shown in the other pieces.-F dirβ Usedirfor fonts instead of/lib/font/bit.dβ Toggle the debug flag.
These commands are also available, under slightly different form, from a menu on button 3. The pan menu item allows arbitrary positioning of the page: after selecting pan, 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.
The m, x, y, F, /, and d commands are also available as command line options.
πΈ FILES πΈ
/font/*β fonts/font/MAPβ how to convert troff output fonts and character names into screen fonts and character numbers
π SOURCE π
/src/cmd/proof
π«Ά SEE ALSO π«Ά
okay thatβs the whole thing, bestie β the footer is literally just PROOF(1) (no extra date/version printed, so Iβm not inventing one π
), and the source is /src/cmd/proof. mwah π«Άπ
π¦ where this page comes from
- alpine 3.24: plan9port-doc 0_git20260208-r0 Β· LPL-1.02
- arch rolling: plan9port 20261021-2 Β· custom
- nixos 26.05: plan9port 0-unstable-2025-11-10
- nixos 26.05: plan9port-wayland 0-unstable-2025-11-26
- nixpkgs unstable: plan9port 0-unstable-2025-11-10
- nixpkgs unstable: plan9port-wayland 0-unstable-2025-11-26
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms