GNU bug report logs - #47069
[PATCH] etc: Run pre-push make in guix environment.

Previous Next

Full log

View this message in rfc822 format

From: Leo Prikler <leo.prikler <at> student.tugraz.at>
To: zimoun <zimon.toutoune <at> gmail.com>, Tobias Geerinckx-Rice <me <at> tobias.gr>
Cc: 47069 <at> debbugs.gnu.org
Subject: [bug#47069] [PATCH] etc: Run pre-push make in guix environment.
Date: Fri, 26 Mar 2021 11:11:59 +0100

Am Freitag, den 26.03.2021, 09:20 +0100 schrieb zimoun:
> Hi Tobias,
> 
> On Thu, 11 Mar 2021 at 15:42, Tobias Geerinckx-Rice <me <at> tobias.gr>
> wrote:
> > * etc/git/pre-push: Exec make in a guix development environment.
> > ---
> > The pre-push assumes you have make installed, which I didn't.
> 
> How do you rebuild Guix before pushing?
If that's a problem for the script, you could add an explicit 'all'
target.  

That said, I think, that many developers (myself included), who would
suffer from the problem mentioned by Tobias already run 'git push'
inside a guix environment.  I know I do.  
@Tobias: would it make sense to detect that case (via GUIX_ENVIRONMENT)
and only optionally construct the guix environment?

Regards,
Leo

Previous Next

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