]> git.ipfire.org Git - thirdparty/mkosi.git/commit
projects / thirdparty / mkosi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7d8220) | patch
Don't unmount final tools tree 2177/head
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Thu, 14 Dec 2023 15:01:22 +0000 (16:01 +0100)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Thu, 14 Dec 2023 15:34:11 +0000 (16:34 +0100)
commitc5170f0ecffb58f87805c89be8ae49e7940b591f
tree17d422ff914321ddf502464a90373848556d3a2ftree
parentb7d8220160ca44ee11074d5b884b06ffd29fdb3dcommit | diff
Don't unmount final tools tree

Let's instead just rely on it getting unmounted by the mkosi process
exiting and its mount namespace getting deleted.
mkosi/__init__.py diff | blob | blame | history
mkosi/mounts.py diff | blob | blame | history
Mirror of https://github.com/systemd/mkosi.git