Comment 3 for bug 41170
Revision history for this message
| Mantas Kriaučiūnas (mantas) wrote Re: The typical user will not know how to "make some free disk space" when he cannot log into a graphical desktop | #3 |
Free space issue is critical to lots of users, because gdm doesn't offer an userfriendly solution for user if there are no free space.
I'm suggesting improved solution for this bug, based on solutions, mentioned in gnome bug 339229:
* Always keep a "place-holder file" in the user's home directory that is big enough for GDM to "do its job", so, when they log in, GDM can merely write over top of this file as it needs.
* Provide some kind of "hook" that would allow each distribution to take further steps in helping an user to fix the problem.
So, gdm should create place-holder file of needed size (for example ~200 kb) in /tmp after gdm starts (and display a warning message if there are no enough space for creating such file) and erase this file in /tmp before gdm starts.
Also gnome-session should check for free space during login and create place-holder file (for example ~200 kb) if there are enouch space and display a warning message if there are less than ~1 Mb free space (gdm should erase place-holder file in user's home, created by gnome-session when user starts to login).
Should I report a bug agains gnome-session in Ubuntu ?