diff options
Diffstat (limited to 'util/create_filesystems.sh')
| -rw-r--r-- | util/create_filesystems.sh | 22 |
1 files changed, 16 insertions, 6 deletions
diff --git a/util/create_filesystems.sh b/util/create_filesystems.sh index 972eefd..917363e 100644 --- a/util/create_filesystems.sh +++ b/util/create_filesystems.sh @@ -18,15 +18,25 @@ # along with this program. If not, see <https://www.gnu.org/licenses/>. -efi_partition_path=$1 # e.g. /dev/sda1 -boot_partition_path=$2 # e.g. /dev/sda2 +efi_partition_path=$1 # e.g. /dev/sda1 or /dev/null if not needed +boot_partition_path=$2 # e.g. /dev/sda2 or /dev/null if not needed root_partition_path=$3 # e.g. /dev/sda3 or /dev/SystemVolumeGroup/root -mkfs.fat -F32 $efi_partition_path -fatlabel $efi_partition_path "EFI" -mkfs.ext4 $boot_partition_path -e2label $boot_partition_path "BOOT" +if [ "$efi_partition_path" != "/dev/null" ]; then # if efi partition is needed + echo "EFI partition needed." + mkfs.fat -F32 $efi_partition_path + fatlabel $efi_partition_path "EFI" +else + echo "EFI partition not needed." +fi +if [ "$boot_partition_path" != "/dev/null" ]; then # if boot partition is needed + echo "BOOT partition needed." + mkfs.ext4 $boot_partition_path + e2label $boot_partition_path "BOOT" +else + echo "BOOT partition not needed." +fi mkfs.ext4 $root_partition_path e2label $root_partition_path "ROOT" |