Bug#989628: base-files: shell profile check for bash and interactiveness

2021-06-10 Thread Christoph Anton Mitterer
On Wed, 2021-06-09 at 04:56 +0200, Christoph Anton Mitterer wrote: >    - Shouddn't it also cover the sourcing of /etc/profile.d/*.sh > (for the same reasons)? Taking that one back,... /etc/profile.d/*.sh is obviously meant to me like /etc/profile, which would also get sourced when invoked as

Bug#989628: base-files: shell profile check for bash and interactiveness

2021-06-10 Thread Christoph Anton Mitterer
Oh and I forgot: Mine also doesn't set the PATH. This seems to be done already by someone else (PAM?) and again, it would only work for login-shells but not for e.g. desktop sessions or shells spawned in there.

Bug#989628: base-files: shell profile check for bash and interactiveness

2021-06-08 Thread Christoph Anton Mitterer
Package: base-files Version: 11.1 Severity: normal Hi. (CCing Georgios M. Zarkadas from #632887 for his comments on (3) below, if any.) Currently /usr/share/base-files/profile has: if [ "${PS1-}" ]; then if [ "${BASH-}" ] && [ "$BASH" != "/bin/sh" ]; then and /usr/share/b