GNU bug report logs - #41634
'timeout' returning 124 and 133

Previous Next

Full log

View this message in rfc822 format

From: Pádraig Brady <P <at> draigBrady.com>
To: Bernhard Voelker <mail <at> bernhard-voelker.de>, Jonny Grant <jg <at> jguk.org>, Andreas Schwab <schwab <at> linux-m68k.org>, Padraig Brady <pbrady <at> redhat.com>
Cc: 41634 <at> debbugs.gnu.org
Subject: bug#41634: 'timeout' returning 124 and 133
Date: Tue, 28 Jul 2020 22:53:57 +0100

On 28/07/2020 22:38, Bernhard Voelker wrote:
> On 2020-07-16 00:59, Jonny Grant wrote:
>> On 15/06/2020 21:57, Bernhard Voelker wrote:
>>> Hmm, in the HTML format, this is the first sentence after the table of contents:
>>>
>>>    "This manual documents version 8.32 of the GNU core utilities, ..."
>>
>> Hi Berny
>> Just to reply on this item.
>>
>> Ah ok, on the HTML page that is still 12 pages after the first page. It would be nice to see it below the title? Before the TOC.
>> https://www.gnu.org/software/coreutils/manual/coreutils.html
>>
>> I didn't search through for the version number, I missed it, as it wasn't at the top, or at the end.
> 
> The attached adds the version to the title of the HTML manual.
> E.g. grep also has it:
>    https://www.gnu.org/software/grep/manual/html_node/index.html
> 
> @Padraig: okay to push?

+1 thanks

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.