GNU bug report logs - #78670
[PATCH] etc: pre-push: Use Bash instead of sh.

Previous Next

Full log

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: gemmaro <gemmaro.dev <at> gmail.com>
To: guix-patches <at> gnu.org
Cc: gemmaro <gemmaro.dev <at> gmail.com>
Subject: [PATCH] etc: pre-push: Use Bash instead of sh.
Date: Mon,  2 Jun 2025 21:02:00 +0900

* etc/git/pre-push (shebang): Use Bash instead of shell in the hook script.
This resolves the error encountered when running git push:
".git/hooks/pre-push: 41: Syntax error: ";" unexpected".

Change-Id: I249132122ecc57fd698dfa24e87bdf2fd0dc2080
---
 etc/git/pre-push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/git/pre-push b/etc/git/pre-push
index c876b1b6a3..e6e8e7ec55 100755
--- a/etc/git/pre-push
+++ b/etc/git/pre-push
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 # This hook script prevents the user from pushing to Savannah if any of the new
 # commits' OpenPGP signatures cannot be verified, or if a commit is signed

base-commit: 93ec4131b6ea489b17622d25bd7a5194ac7eedae
-- 
2.49.0

Previous Next

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