Skip to content
Commit 2b2031d4 authored by António Fernandes's avatar António Fernandes 🐚 Committed by António Fernandes
Browse files

file-operations: ignore extensions when duplicating folders

If a file named "foo.bar" is duplicated, the copy is named "foo (copy).bar",
keeping the extension at the end.

However, this is applying to folders too, where we don't need to worry about
keeping extesions at the end. The result is unexpected.

Therefore, ignore extension if the duplicating item is a folder, except if the
folder already has a copy tag before a dot, such as "dir (copy).dir".

Fixes: https://bugzilla.gnome.org/show_bug.cgi?id=696451
parent e8153180
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment