[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#36831: enhance 'directory not empty' message
From: |
Alex Mantel |
Subject: |
bug#36831: enhance 'directory not empty' message |
Date: |
Sun, 28 Jul 2019 20:58:59 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.2 |
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 to another directory if the target directory contains files.
This is a good thing in your case because you turn out to want to
merge the content of the source into the target, which mv will not do.
https://askubuntu.com/questions/269775/mv-directory-not-empty
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
^ this little thing here,
it explains everyting.
Change text from 'Directory not empty' to 'Targetdirectory not empty'.
- bug#36831: enhance 'directory not empty' message,
Alex Mantel <=