2020-05-15 12:00:03 +02:00
|
|
|
#!/bin/bash
|
|
|
|
#
|
|
|
|
# Offers base functions for the image management
|
|
|
|
#
|
|
|
|
# shellcheck disable=SC2034 #Deactivate checking of unused variables
|
|
|
|
# shellcheck source=/dev/null # Deactivate SC1090
|
|
|
|
source "$(dirname "$(readlink -f "${0}")")/../base.sh" || (echo "Loading base.sh failed." && exit 1)
|
|
|
|
|
|
|
|
# Writes the full partition name
|
|
|
|
# @parameter $1 is device path
|
|
|
|
# @parameter $2 is the partition number
|
|
|
|
echo_partition_name(){
|
2020-05-15 12:25:44 +02:00
|
|
|
if [ "${device_path:5:1}" != "s" ]
|
2020-05-15 12:00:03 +02:00
|
|
|
then
|
2020-05-15 12:25:44 +02:00
|
|
|
echo "$device_path""p""$2"
|
2020-05-15 12:00:03 +02:00
|
|
|
else
|
2020-05-15 12:25:44 +02:00
|
|
|
echo "$device_path$2"
|
2020-05-15 12:00:03 +02:00
|
|
|
fi
|
|
|
|
}
|
2020-05-15 12:23:07 +02:00
|
|
|
|
2020-05-15 13:37:14 +02:00
|
|
|
set_partition_paths(){
|
|
|
|
info "Setting partition paths..."
|
|
|
|
root_partition_path=$(echo_partition_name "2")
|
|
|
|
boot_partition_path=$(echo_partition_name "1")
|
|
|
|
}
|
|
|
|
|
2020-05-15 12:23:07 +02:00
|
|
|
# Routine to echo the full sd-card-path
|
|
|
|
set_device_path(){
|
|
|
|
info "Available devices:"
|
|
|
|
ls -lasi /dev/ | grep -E "sd|mm"
|
|
|
|
question "Please type in the name of the device: /dev/" && read -r device
|
|
|
|
device_path="/dev/$device"
|
|
|
|
if [ ! -b "$device_path" ]
|
|
|
|
then
|
|
|
|
error "$device_path is not valid device."
|
|
|
|
fi
|
|
|
|
}
|