Web lists-archives.com

Re: Cannot delete files

On Sat 26 May 2018 at 21:54:57 (+0300), Reco wrote:
> 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
> directory'?
> 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.

I was under the impression that you just selected delete with the
shift key held, but that's memories of windows almost 2 decades ago.
I think nowadays windows warns you when you delete a file that's too
big for the trash; don't linux DEs do likewise?