44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
done >/dev/tty
echo "$prompt is '$port'." > /dev/tty
echo "$port"
}
get_partition() {
local partn=''
select partn in $(awk '{print $2}' partitions.txt); do
if grep -q " $partn " partitions.txt; then
echo "Partition choosen is '$partn'." >/dev/tty
echo "$partn"
break
fi
done
}
|
|
|
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
done >/dev/tty
echo "$prompt is '$port'." > /dev/tty
echo "$port"
}
get_partition() {
local partn=''
select partn in $(awk 'NF == 4 {print $2}' partitions.txt); do
if grep -q " $partn " partitions.txt; then
echo "Partition choosen is '$partn'." >/dev/tty
echo "$partn"
break
fi
done
}
|