mirror of
https://github.com/uutils/coreutils.git
synced 2026-06-10 15:48:22 -07:00
Jeffrey Finkelstein
bfdbf59646
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.
22 lines
750 B
Plaintext
22 lines
750 B
Plaintext
|
|
|
|
{last_modified_time} {file_name} Page 3
|
|
|
|
|
|
|
|
|
|
{last_modified_time} {file_name} Page 4
|
|
|
|
|
|
15 xyzxyzxyz XYZXYZXYZ 16 456789 123456789 xyz 7
|
|
8 9 3456789 ab 20 DEFGHI 123
|
|
1 2 3
|
|
4 5 6
|
|
27 no truncation before 28 no trunc
|
|
|
|
|
|
{last_modified_time} {file_name} Page 5
|
|
|
|
|
|
29 xyzxyzxyz XYZXYZXYZ 30 456789 123456789 xyz 1
|
|
2 3456789 abcdefghi 3 |