Summary: | Mass rename sometimes preserves extensions for directories | ||
---|---|---|---|
Product: | [Applications] dolphin | Reporter: | Joe Dight <joe.dight> |
Component: | general | Assignee: | Dolphin Bug Assignee <dolphin-bugs-null> |
Status: | RESOLVED INTENTIONAL | ||
Severity: | normal | CC: | elvis.angelaccio |
Priority: | NOR | ||
Version: | 18.12.2 | ||
Target Milestone: | --- | ||
Platform: | Fedora RPMs | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: |
Description
Joe Dight
2019-04-28 23:06:46 UTC
Dolphin checks for known extensions. A folder named "test.jpeg" will keep its extension on rename, like it is kept for renaming files. I am not sure if there are registered folder name extensions, such as for mailbox directories etc. If there are, they really should be preserved. Maybe the MIME database knows extensions that apply to folder names. Okay, I can see that this is intentional. |