blob: 451270fe2b856f43a778a70e0cdad086106ba398 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#! /bin/sh
set -euf
vvs.de Hauptbahnhof Renningen 13 37 | {
read from && test "x$from" = 'xfrom: Hauptbahnhof'
read to && test "x$to" = 'xto: Renningen'
read sep && test "x$sep" = 'x-------------------------------------'
while read line; do
echo "$line" | grep -q '^[0-9][0-9]:[0-9][0-9] [0-9][0-9]:[0-9][0-9] '
done
}
|
