8 May
2020
8 May
'20
10:36
On Mon, 2020-05-04 at 18:37 +0200, İsmail Dönmez wrote:
We no longer source /etc/bash.bashrc by default, this is a fallout from this.
I've missed the rationale for this change, do you have a ref or some
short explanation?
Martin
--
Dr. Martin Wilck