summaryrefslogtreecommitdiff
path: root/debian/apt-doc.docs
diff options
context:
space:
mode:
authorDavid Kalnischkies <david@kalnischkies.de>2014-03-09 13:32:07 +0100
committerDavid Kalnischkies <david@kalnischkies.de>2014-03-13 13:58:45 +0100
commit79bde56ea93b396e509fff0ad7a490f949aa5aa4 (patch)
tree85fb0238b7aab59153eb59022a19351957b46c0e /debian/apt-doc.docs
parent1e071c30340ef6b0f8279440a9fd369f27e9b34b (diff)
if mountpoint has a ".disk" directory it is mounted
Checking that parent-directory of mountpoint and mountpoint are on different devices is fine most of the time, but is too restrictive for our testcases and there shouldn't be anything wrong with 'normal' users copying disk-contents around either if they want to. We check for the existance of the ".disk/" directory now as this will not be present if the disk isn't 'mounted'. Disks doesn't need to have such a directory through, so for those we fall back to the old way of detecting mounted or not mounted.
Diffstat (limited to 'debian/apt-doc.docs')
0 files changed, 0 insertions, 0 deletions