[Desktop-packages] [Bug 1872053] Re: Local mail is never checked

2020-09-28 Thread Sebastien Bacher
** Changed in: gnome-terminal (Ubuntu) Importance: Undecided => Low -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1872053 Title: Local mail is never checked Status in

[Desktop-packages] [Bug 1872053] Re: Local mail is never checked

2020-09-27 Thread Karl N. Redman
I'm just piping in here to say that the issue is based on how the login(1) program is called during the authorization process. This is beyond the scope of gui terminals and is even once more removed from the shell. I've outlined a more in depth answer here: https://askubuntu.com/a/1278257/879293

[Desktop-packages] [Bug 1872053] Re: Local mail is never checked

2020-04-11 Thread Saroumane
Well, my approach was very simple : mail notification in terminal has worked for decades, I used in the 2000s, so why not use it again if it suits me ? It is not mandatory to "reinvent the wheel" for an old need. Anyway, I already tried to use /var/mail/$USER in my graphical email client

[Desktop-packages] [Bug 1872053] Re: Local mail is never checked

2020-04-11 Thread Egmont Koblinger
I'd take one step back and ask the question: Why would anyone one a graphical system need to run a terminal emulator in order to get notified about new mail? What if someone uses all kinds of other applications (web browser, document editor, photo viewer, music player...), just not a terminal, why

[Desktop-packages] [Bug 1872053] Re: Local mail is never checked

2020-04-11 Thread Saroumane
Anyway my workaround... 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, THEN I launch gnome-terminal : no

[Desktop-packages] [Bug 1872053] Re: Local mail is never checked

2020-04-10 Thread Saroumane
Sorry, I didn't know where to open this. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1872053 Title: Local mail is never checked Status in gnome-terminal package in Ubuntu:

[Desktop-packages] [Bug 1872053] Re: Local mail is never checked

2020-04-10 Thread Egmont Koblinger
It is really, really not the terminal emulator's job to set basic environment variables. It should either be done by the environment in which gnome-terminal is started (e.g. systemd --user), so that the terminal just transparently passes this on; or should be done by the shell initialization

[Desktop-packages] [Bug 1872053] Re: Local mail is never checked

2020-04-10 Thread Saroumane
** Description changed: Description: Ubuntu 19.10 Release: 19.10 gnome-terminal: - Installed: 3.34.2-1ubuntu1 - Candidate: 3.34.2-1ubuntu1 +   Installed: 3.34.2-1ubuntu1 +   Candidate: 3.34.2-1ubuntu1 Context : In a typical daily use scenario, a Ubuntu user is not expected to