| 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/Implemented 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. |