[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 2/5] gnu: gnu-make: Don't replace 'sh' reference with 'bash'.
From: |
Leo Famulari |
Subject: |
[PATCH 2/5] gnu: gnu-make: Don't replace 'sh' reference with 'bash'. |
Date: |
Thu, 5 Jan 2017 11:28:48 -0500 |
* gnu/packages/base.scm (gnu-make)[arguments]: Use /bin/sh instead of /bin/bash
in 'set-default-shell' phase.
---
gnu/packages/base.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/base.scm b/gnu/packages/base.scm
index 66c5e0cdc..1f25a05aa 100644
--- a/gnu/packages/base.scm
+++ b/gnu/packages/base.scm
@@ -364,7 +364,7 @@ functionality beyond that which is outlined in the POSIX
standard.")
(let ((bash (assoc-ref inputs "bash")))
(substitute* "job.c"
(("default_shell =.*$")
- (format #f "default_shell = \"~a/bin/bash\";\n"
+ (format #f "default_shell = \"~a/bin/sh\";\n"
bash)))))))))
(synopsis "Remake files automatically")
(description
--
2.11.0
- [PATCH 0/5] Clean-up of /bin/sh patching, Leo Famulari, 2017/01/05
- [PATCH 1/5] gnu: m4: Don't replace 'sh' reference with 'bash'., Leo Famulari, 2017/01/05
- [PATCH 5/5] gnu: gawk: Don't replace 'sh' reference with 'bash'., Leo Famulari, 2017/01/05
- [PATCH 4/5] gnu: glibc/linux: Use /bin/sh instead of /bin/bash as the default shell., Leo Famulari, 2017/01/05
- [PATCH 2/5] gnu: gnu-make: Don't replace 'sh' reference with 'bash'.,
Leo Famulari <=
- [PATCH 3/5] gnu: glibc/linux: Don't replace 'sh' reference with 'bash'., Leo Famulari, 2017/01/05
- Re: [PATCH 0/5] Clean-up of /bin/sh patching, Marius Bakke, 2017/01/05