Comment 0 for bug 1872053

Revision history for this message
Saroumane (saroumane) wrote :

Description: Ubuntu 19.10
Release: 19.10
gnome-terminal:
  Installed: 3.34.2-1ubuntu1
  Candidate: 3.34.2-1ubuntu1

Context : In a typical daily use scenario, a Ubuntu user is not expected to use a console login with "Ctrl-Alt Fx".
Instead it is expected to use gnome-terminal for command-line interaction.
That being said :

What I expect to happen when I launch gnome-terminal :
I expect the bash shell started by gnome-terminal to check local mail (in /var/mail/$USER ) and reports accordingly "You have new mail" if there is new mail.

What happens instead :
gnome-terminal invokes bash with $MAIL variable not set. So mail is not checked, and the user is never informed about new local mail.

Workaround ? :
Putting MAIL=/var/mail/user in ~/.bashrc should work, but it seems the bash invoked by gnome-terminal does not even read ~/.bashrc
So I have no idea.