Diff
Not logged in

Differences From Artifact [a53ea40230]:

To Artifact [4c17803f76]:


44
45
46
47
48
49
50
51

52
53
54
55
56
57
58
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
	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
}