Files
Jeffrey Finkelstein bfdbf59646 pr: use 72 char line width for all page headers
Set the default line width to 72 for all page headers in `pr`,
regardless of whether a custom date format is being used. Before, a
single space was used to separate the three components of the header
(date, filename, and page number) if a custom date format was not given.
2026-01-04 18:36:33 -05:00

331 lines
2.0 KiB
Plaintext

{last_modified_time} {file_name} Page 1
{last_modified_time} {file_name} Page 2
1 FF-Test: FF's at Start of File V
2 Options -b -3 / -a -3 / ...
3 --------------------------------------------
4 3456789 123456789 123456789 123456789 12345678
5 3 Columns downwards ..., <= 5 lines per page
6 FF-Arangements: Empty Pages at start
7 \ftext; \f\ntext;
8 \f\ftext; \f\f\ntext; \f\n\ftext; \f\n\f\n;
9 3456789 123456789 123456789
10 zzzzzzzzzzzzzzzzzzzzzzzzzz123456789
1 12345678
2 12345678
3 line truncation before FF; r_r_o_l-test:
14 456789 123456789 123456789 123456789
{last_modified_time} {file_name} Page 3
{last_modified_time} {file_name} Page 4
15 xyzxyzxyz XYZXYZXYZ abcabcab
16 456789 123456789 xyzxyzxyz XYZXYZXYZ
7 12345678
8 12345678
9 3456789 ab
20 DEFGHI 123
1 12345678
2 12345678
3 12345678
4 12345678
5 12345678
6 12345678
27 no truncation before FF; (r_l-test):
28 no trunc
{last_modified_time} {file_name} Page 5
29 xyzxyzxyz XYZXYZXYZ abcabcab
30 456789 123456789 xyzxyzxyz XYZXYZXYZ
1 12345678
2 3456789 abcdefghi
3 12345678