Many thanks for your advice. I will try this and see what happens.
The profile flle is here: https://paste.debian.net/1091866/ The .bashrc file that calls it is here: mikef@clr-0fdd1f831fb14378ac28883a158cf04d~ $ more .bashrc # Use global profile when available if [ -f /usr/share/defaults/etc/profile ]; then . /usr/share/defaults/etc/profile fi # allow admin overrides if [ -f /etc/profile ]; then . /etc/profile fi Regards MF > >
