On 2/14/22 15:00, Pádraig Brady wrote:
I see Paul added the grep markup recently in a seemingly unrelated change:
https://git.savannah.gnu.org/gitweb/?p=grep.git;a=commit;h=fe630c9f
In the old days man pages' SEE ALSO sections mostly didn't use markup
for references to other man pages. I see
On 14/02/2022 13:52, Mario Blättermann wrote:
Hello Pádraig,
Am Mo., 14. Feb. 2022 um 13:15 Uhr schrieb Pádraig Brady :
On 13/02/2022 13:19, Mario Blättermann wrote:
Hello,
the SEE ALSO sections in the man pages contain links which will be
pulled in from *.x files by help2man. While
Thanks for the bug report. This stuff about "the future" has been there
for years so it's time to remove any predictions. I installed the
attached revamp of the tr documentation to try to address the problems
you mentioned, plus some others I noticed while in the neighborhood.From
On 2/14/22 01:41, Stéphane Archer wrote:
is +'%Y-%m-%dT%H:%M:%S.0Z' do what I want
To format an arbitrary timestamp you want "+%Y-%m-%dT%H:%M:%S.%1NZ",
unless you always want a zero after the period.
Closing the bug report as there's no bug here.
Hello Pádraig,
Am Mo., 14. Feb. 2022 um 13:15 Uhr schrieb Pádraig Brady :
>
> On 13/02/2022 13:19, Mario Blättermann wrote:
> > Hello,
> >
> > the SEE ALSO sections in the man pages contain links which will be
> > pulled in from *.x files by help2man. While help2man evaluates the
> > Groff markup
On 13/02/2022 13:19, Mario Blättermann wrote:
Hello,
the SEE ALSO sections in the man pages contain links which will be
pulled in from *.x files by help2man. While help2man evaluates the
Groff markup from --help and --version output, it doesn't bother with
the markup in the *.x files. See the
Hi Andreas,
thank you for your help, I didn't realize I was using the wrong format for
what I wanted.
I don't have much experience with the project.
The format I wanted was: -MM-DDThh:mm:ss.sZ
is +'%Y-%m-%dT%H:%M:%S.0Z' do what I want or are there still some mistakes
there?
Thank you again
On Feb 13 2022, Stéphane Archer wrote:
> $ date -d "17 april 2022 + 36 week 5pm" +'%G-%m-%dT%H:%M:%S.0Z'
> 2022-12-25T17:00:00.0Z
> $ date -d "17 april 2022 + 37 week 5pm" +'%G-%m-%dT%H:%M:%S.0Z'
> 2022-01-01T17:00:00.0Z
> $ date -d "17 april 2022 + 38 week 5pm" +'%G-%m-%dT%H:%M:%S.0Z'
>