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 :) Cheers -- t
Attachment:
signature.asc
Description: PGP signature