]> glassweightruler.freedombox.rocks Git - waydroid.git/commit
helpers/mount: Add an option to mount even if mount point already exists
authorSebastian Krzyszkowiak <dos@dosowisko.net>
Thu, 10 Nov 2022 20:55:44 +0000 (21:55 +0100)
committerAlessandro Astone <ales.astone@gmail.com>
Thu, 12 Jan 2023 20:31:19 +0000 (21:31 +0100)
commite2f4f942f28d3a7132cd29d047a0a243c867a089
treecee5d102dff49b6b4f288d75a4b48ed1f685789a
parente620e51bbb86b3fc2776e4d041df928391f944ab
helpers/mount: Add an option to mount even if mount point already exists

This is needed for mounting overlays on top of existing mount points.
tools/helpers/mount.py