]> git.saurik.com Git - apt.git/commit
if mountpoint has a ".disk" directory it is mounted
authorDavid Kalnischkies <david@kalnischkies.de>
Sun, 9 Mar 2014 12:32:07 +0000 (13:32 +0100)
committerDavid Kalnischkies <david@kalnischkies.de>
Thu, 13 Mar 2014 12:58:45 +0000 (13:58 +0100)
commit79bde56ea93b396e509fff0ad7a490f949aa5aa4
tree85fb0238b7aab59153eb59022a19351957b46c0e
parent1e071c30340ef6b0f8279440a9fd369f27e9b34b
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.
apt-pkg/contrib/cdromutl.cc