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 -uI 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.