diff options
Diffstat (limited to 'util/unmount_filesystems.sh')
| -rw-r--r-- | util/unmount_filesystems.sh | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/util/unmount_filesystems.sh b/util/unmount_filesystems.sh deleted file mode 100644 index 0980e5a..0000000 --- a/util/unmount_filesystems.sh +++ /dev/null @@ -1,31 +0,0 @@ -#!/bin/bash - - -# archinstall - A minimal Installation Script for Arch Linux -# Copyright (C) 2019 xengineering - -# This program is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. - -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. - -# You should have received a copy of the GNU General Public License -# along with this program. If not, see <https://www.gnu.org/licenses/>. - - -boot_partition_path=$1 -root_partition_path=$2 - - -cd /root -if [ "$boot_partition_path" != "/dev/null" ];then - umount $boot_partition_path -fi -umount $root_partition_path - -echo "Unmounted filesystems - OK" |