Using 'umount -R' rather than just 'umount' since we're going to wipe the partition, we need do unmount anything that's mounted beneeth it to continue. - archinstall32

diff options

author	Anton Hvornum <anton@hvornum.se>	2021-03-14 13:56:24 +0100
committer	Anton Hvornum <anton@hvornum.se>	2021-03-14 13:56:24 +0100
commit	c897421e1d5450450e0ef54118ad40c1d883b7c3 (patch)
tree	edf53fc80e7b8b7ede223a22c2649c45c7b86629 /profiles/gnome.py
parent	7ac68b2436b3a542d8004b26defb89ebb2905fa9 (diff)

Using 'umount -R' rather than just 'umount' since we're going to wipe the partition, we need do unmount anything that's mounted beneeth it to continue.

Diffstat (limited to 'profiles/gnome.py')

0 files changed, 0 insertions, 0 deletions


context:
space:
mode: