| Summary: | hide system partitions (root and home and ..) from external devices | ||
|---|---|---|---|
| Product: | [Applications] dolphin | Reporter: | rockonthemoonfm |
| Component: | panels: places | Assignee: | Dolphin Bug Assignee <dolphin-bugs-null> |
| Status: | RESOLVED INTENTIONAL | ||
| Severity: | normal | CC: | nate |
| Priority: | NOR | ||
| Version First Reported In: | 15.12.3 | ||
| Target Milestone: | --- | ||
| Platform: | Arch Linux | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | ||
| Sentry Crash Report: | |||
|
Description
rockonthemoonfm
2016-07-07 10:44:18 UTC
Most normal users aren't going to have separate /home partitions. Also, the label is "Devices", not "External Devices", so hopefully that reduces confusion a bit. The problem is that there are an awful lot of people who really like using Dolphin for volume access and management, and this change would upset them. I don't think there's anything we can do here for now. |