Villt. hat ja jmd. nen paar Tipps oder nen Lösungsansatz.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | $ bash x.sh Zahl: a Zahl: sdd Zahl: 12 34 Zahl: 12 abc=12 $ dash x.sh Zahl: a Zahl: sdd Zahl: 12 34 Zahl: 12 abc=12 $ cat x.sh zahl() { x= while ! echo "$x" | egrep -q '^[0-9]+$'; do read -p 'Zahl: ' x done echo "$x" } abc=$(zahl) echo "abc=$abc" |
Wie man sieht, das geht mit bash und auch dash.
Ciao
robert

2004 – 2013 ubuntuusers.de • Einige Rechte vorbehalten