Summary: | Automatic request/control list of nicknames/alias of serialnumber of partitions/units (usb-pen drives, sd-card, hdd, etc.) | ||
---|---|---|---|
Product: | [Applications] dolphin | Reporter: | Francesco Noacco <noacco> |
Component: | panels: places | Assignee: | Dolphin Bug Assignee <dolphin-bugs-null> |
Status: | RESOLVED INTENTIONAL | ||
Severity: | wishlist | CC: | maty78485, nate |
Priority: | NOR | ||
Version First Reported In: | 16.12.2 | ||
Target Milestone: | --- | ||
Platform: | unspecified | ||
OS: | Other | ||
Latest Commit: | Version Fixed In: | ||
Sentry Crash Report: |
Description
Francesco Noacco
2012-12-03 16:30:24 UTC
Thanks for the report. Just to make sure that I understand what you mean: You do not want to change the volume name of your external drive, but you want to be able to configure a name which is shown in the Places Panel for that device? Yes, exactly. No need to root. I don't think it makes a lot of sense to let people change the *display* name of their external disks without actually changing the filesystem labels. That seems like it will cause a lot of confusion. Why can't the flash disks just have unique volume names--at least temporarily? That seems like the most obvious solution. |