Re: Cannot delete files
On Sat, May 26, 2018 at 01:42:51PM -0500, David Wright wrote:
> On Sat 26 May 2018 at 20:21:13 (+0200), Hans wrote:
> > Am Samstag, 26. Mai 2018, 19:48:44 CEST schrieb ben:
> > Hi Ben,
> > hard to say, maybe your partition is mounted read only?
> > This happened at me in the past for two times. One after a filesystem check,
> > the other case was, when the partition was full.
> That's a new one on me: is it meant to happen? It seems like a
> Catch-22 if you can't delete files when a partition is full.
> All I've observed is that various things get stuck, depending on
> the filesystem involved (usually /home in my case).
What if 'delete' actually means 'we move files to some hidden trash
To move a file you must change trash directory inode, possibly growing
it. You must change original directory inode as well, but ext3/4 does
not shrink directory size on deletion.
Thus 'lack of free space' equals 'unable to move files'. Or "delete"
them, in DE speak.