Differences From Artifact [a53ea40230]:
- Executable file pft.sh — part of check-in [9b4b05cce4] at 2019-05-22 11:54:54 on branch trunk — fix texts (user: jno size: 4336)
To Artifact [4c17803f76]:
- Executable file pft.sh — part of check-in [c09e0b76b7] at 2019-05-23 12:46:31 on branch trunk — better filter of partitions.txt (user: jno size: 4344)
| ︙ | |||
44 45 46 47 48 49 50 | 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=''
|
| ︙ |