Context : I know a "console" login (with "Ctrl-Alt-Fx") provides a local mail check (of /var/mail/$USER), but a Ubuntu user is not expected to use this for daily use. Instead it is advised to use gnome-terminal for command-line interaction.
What I expect : When I start gnome-terminal I expect the bash shell to check local mail and reports accordingly "You have new mail" if there is new mail. But it does not work.
What happens instead : gnome-terminal invokes bash with $MAIL (and $MAILCHECK) variables not set. That's why the user is never informed about new local mail.
What I tried : I put in ~/.bashrc :
export MAIL=/var/mail/$USER
export MAILCHECK=60
And... it does not really work. It only works if I receive a new mail while gnome-terminal is running : in this case I will have "You have new mail" at next command line prompt. If I receive new mail while gnome-terminal is not running, and then I launch gnome-terminal : no notification at all.
Any idea ? (for the record I use Ubuntu 19.10)