Hi Jakub!
On 4/21/23 12:19, Jakub Wilk wrote:
> * наб <nabijaczleweli@xxxxxxxxxxxxxxxxxx>, 2023-04-21 04:16:
>> /etc/bash.bashrc: line 7: PS1: unbound variable
>
> How come? bash is not supposed to read bashrc if the shell is
> non-interactive (unless you instruct it otherwise).
>
>> Makefile:SHELL := /usr/bin/env bash -Eeuo pipefail
>
> Unrelated, but what is /usr/bin/env for?
$ git blame -- Makefile | grep bin/env
26061fbd33 (Alejandro Colomar 2022-06-19 19:55:58 +0200 31) SHELL := /usr/bin/env bash -Eeuo pipefail
$ git show 26061fbd33
commit 26061fbd337fbcfb6255def88ef4f0573c090702
Author: Alejandro Colomar <alx@xxxxxxxxxx>
Date: Sun Jun 19 19:55:58 2022 +0200
Makefile: SHELL: Use a portable bash
Reported-by: Ahelenia Ziemiańska <nabijaczleweli@xxxxxxxxxxxxxxxxxx>
Signed-off-by: Alejandro Colomar <alx.manpages@xxxxxxxxx>
diff --git a/Makefile b/Makefile
index 9beca11de..cb1466370 100644
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,7 @@
#
########################################################################
-SHELL := /bin/bash -Eeuo pipefail
+SHELL := /usr/bin/env bash -Eeuo pipefail
MAKEFLAGS += --no-print-directory
This helps in systems where bash(1) is not a system command (probably
MacOS, and maybe others).
Cheers,
Alex
--
<http://www.alejandro-colomar.es/>
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5
Attachment:
OpenPGP_signature
Description: OpenPGP digital signature
