bug#36831: enhance 'directory not empty' message

2019-07-28 Thread Assaf Gordon
Hello, On Sun, Jul 28, 2019 at 08:58:59PM +0200, Alex Mantel wrote: [...] > Ah, the target directory does exist! Hmm... But i'd like the message to be > like: > >    $ mv thing/ ../things >    mv: cannot move 'thing' to '../things/things': Targetdirectory not empty > >  

bug#36831: enhance 'directory not empty' message

2019-07-28 Thread Alex Mantel
i couldn't use move:     $ mv thing/ ../things     mv: cannot move 'thing' to '../things/things': Directory not empty An i can not move it. i do not understand why. I have to google and find at stackoverflow:     Though its man page doesn't document it, mv will refuse to rename a     directory