diff options
| author | xengineering <mail2xengineering@protonmail.com> | 2020-01-12 17:40:15 +0100 |
|---|---|---|
| committer | xengineering <mail2xengineering@protonmail.com> | 2020-01-12 17:40:15 +0100 |
| commit | 2f6a6e43c47a345ca72028177cea92e7307cebff (patch) | |
| tree | df794f83727366257c892a2c47bca472e6b90702 /util/unmount_filesystems.sh | |
| parent | b71ec259f10635f1fb907caa8076bbc2710adf02 (diff) | |
| download | archinstall-2f6a6e43c47a345ca72028177cea92e7307cebff.tar archinstall-2f6a6e43c47a345ca72028177cea92e7307cebff.tar.zst archinstall-2f6a6e43c47a345ca72028177cea92e7307cebff.zip | |
First version of BIOS boot.
Diffstat (limited to 'util/unmount_filesystems.sh')
| -rw-r--r-- | util/unmount_filesystems.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/util/unmount_filesystems.sh b/util/unmount_filesystems.sh index 6ccce3b..0980e5a 100644 --- a/util/unmount_filesystems.sh +++ b/util/unmount_filesystems.sh @@ -23,7 +23,9 @@ root_partition_path=$2 cd /root -umount $boot_partition_path +if [ "$boot_partition_path" != "/dev/null" ];then + umount $boot_partition_path +fi umount $root_partition_path echo "Unmounted filesystems - OK" |