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

Previous Next

Package: guix-patches;

Reported by: gemmaro <gemmaro.dev <at> gmail.com>

Date: Mon, 2 Jun 2025 12:03:01 UTC

Severity: normal

Tags: patch

To reply to this bug, email your comments to 78670 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#78670; Package guix-patches. (Mon, 02 Jun 2025 12:03:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to gemmaro <gemmaro.dev <at> gmail.com>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Mon, 02 Jun 2025 12:03:02 GMT) Full text and rfc822 format available.

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
This bug report was last modified 3 days ago.

Previous Next

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