On Fri, Aug 26, 2022 at 09:19:03AM +0100, Tim Woodall wrote:
[...]
Yes, I know how to fix it. That is straight forward. SUDO_USER and
SUDO_PS1 have similar issues, debian_chroot works in the presence of set
-u
I see.
But I don't understand why /etc/bash.bashrc is being sourced by make
when piping make through cat. Make is doing something like:
The shell must be thinking that it is interactive. I'm a bit pressed at
the moment, so I'll have to leave the "why" as an exercise... you know
:)
Thanks! I'd been trying -l but
$ bash -uic 'echo done'
bash: SUDO_USER: unbound variable
bash: color_prompt: unbound variable
done
$
Interesting that make is creating an interactive shell when its output
is redirected!
Tim.
