--- Begin Message ---
Subject: |
csplit: help document: +/- is not required before OFFSET |
Date: |
Thu, 27 Jan 2022 16:28:27 +0900 |
'csplit --help' (and 'man csplit') says:
A line OFFSET is a required '+' or '-' followed by a positive integer.
But I think the '+' or '-' is optional, not required.
'info csplit' just says:
The optional OFFSET is an integer
I think this is correct since 'an integer' can be 3, +3 or -3.
--
Jun Takimoto
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#53574: csplit: help document: +/- is not required before OFFSET |
Date: |
Thu, 27 Jan 2022 13:10:38 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:95.0) Gecko/20100101 Thunderbird/95.0 |
On 27/01/2022 07:28, Jun-T wrote:
'csplit --help' (and 'man csplit') says:
A line OFFSET is a required '+' or '-' followed by a positive integer.
But I think the '+' or '-' is optional, not required.
'info csplit' just says:
The optional OFFSET is an integer
I think this is correct since 'an integer' can be 3, +3 or -3.
Good point. Pushed the following:
https://git.sv.gnu.org/gitweb/?p=coreutils.git;a=commitdiff;h=4a0a8fdbe
Marking this as done.
thanks,
Pádraig
--- End Message ---