diff options
| author | Jose M. Guisado <jguisado@soleta.eu> | 2022-05-09 13:43:52 +0200 |
|---|---|---|
| committer | Jose M. Guisado <jguisado@soleta.eu> | 2022-06-01 11:48:30 +0200 |
| commit | 621d1b9147a0b52cb133fe856b3a13b67711ea57 (patch) | |
| tree | 2ce990172d8346d610f01dc6aa91c8d3ed5ed63d /src/live/ogOperations.py | |
| parent | 81ee4b02dd8ac8adde7755aaff965a16edbf3ab9 (diff) | |
utils: mount_mkdir success if target is a mountpoint
Returns true if target is already a mountpoint. Does not call mount.
It's possible that another device might be mounted in the target
mountpoint. A future check between the source and target for
equal device major:minor must be added.
Diffstat (limited to 'src/live/ogOperations.py')
0 files changed, 0 insertions, 0 deletions