bug#23433: Timeout in grafts

bug#23433: Timeout in grafts

[Andreas Enge]

Hello,

when grafting texlive-texmf on my Novena, the build times out after an hour,
even when I add "--timeout=70000". This is even more annoying since the
package cannot be substituted any more.

Andreas

bug#23433: Timeout in grafts

[Leo Famulari]

On Tue, May 03, 2016 at 03:13:32PM +0200, Andreas Enge wrote:
> Hello,
> 
> when grafting texlive-texmf on my Novena, the build times out after an hour,
> even when I add "--timeout=70000". This is even more annoying since the
> package cannot be substituted any more.

What about if you also set --max-silent-time=70000?

$ guix build --help
[...]
--max-silent-time=SECONDS
                   mark the build as failed after SECONDS of silence
--timeout=SECONDS  mark the build as failed after SECONDS of activity
[...]

bug#23433: Timeout in grafts

[Mark H Weaver]

Leo Famulari <leo@famulari.name> writes:

> On Tue, May 03, 2016 at 03:13:32PM +0200, Andreas Enge wrote:
>> Hello,
>> 
>> when grafting texlive-texmf on my Novena, the build times out after an hour,
>> even when I add "--timeout=70000". This is even more annoying since the
>> package cannot be substituted any more.
>
> What about if you also set --max-silent-time=70000?

Right, you need this flag as well.

Also, you might consider cherry-picking commit
b79cf93ff6d1588adf4a606800ff381d4af4e052 from the
'wip-graft-improvements' branch, which speeds up grafting considerably.
I've been using it on my own systems for a few months.

      Mark

bug#23433: Timeout in grafts

[Ludovic Courtès]

Mark H Weaver <mhw@netris.org> skribis:

> Also, you might consider cherry-picking commit
> b79cf93ff6d1588adf4a606800ff381d4af4e052 from the
> 'wip-graft-improvements' branch, which speeds up grafting considerably.
> I've been using it on my own systems for a few months.

If you’re confident, I would suggest merging it.  Or is there something
that makes it undesirable?

Thanks,
Ludo’.

bug#23433: Timeout in grafts

[Andreas Enge]

On Tue, May 03, 2016 at 05:02:54PM -0400, Leo Famulari wrote:
> What about if you also set --max-silent-time=70000?

My bad, with the additional option everything works. Thanks!

I wonder if having only one time-out option would not be clearer?

Andreas