Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Error when trying to cut/paste a file that already exists #1304
Description of the Change
Emit an error when trying to cut/paste a file that already exists at the destination. Best viewed with whitespace changes off.
Consistency with drag-and-dropping and OS file managers.
An error when it used to silently fail.