PHP-Code:
//gesamten Content der Datei holen
$pfad = "ort/der/datei.txt;
$inhalt_datei = file_get_contents($pfad);
if($inhalt_datei)
{
$ausdruck = "!^fängtanmitZeichenoderZahl ...
frickelDirhiereinenRegAusdruckzusammen ...
dasEndeistwichtig --> kein';' oder '\n' aber '*' damit
weiter gesucht wird --> [^ ;n]*!i";
preg_match_all ($ausdruck, $inhalt_datei, $einzeldaten_arr,
PREG_PATTERN_ORDER);
//eventuelle doppelte Einträge löschen
$einzeldaten_arr = array_unique($einzeldaten_arr);
}
Nun hast Du in $einzeldaten_arr alle Daten vorliegen und kannst
z.B. über eine foreach (...) mit der Eingabe vergleichen.
Den regulären Ausdruck kannst Du aber auch noch weiter
verfeinern, so dass er nur den ersten Wert/ Zeile rausholt
und in dem Array speichert.
Sieht etwas "overdressed" aus, aber so bist Du schon mal
darauf vorbereitet z.B. aus Webseiten Inhalt auszulesen,
dann ist $pfad einfach die URL zu der gewünschten
Seite ...). Habe da mal ein Backup-Script über 1250 Zeilen
geschrieben, dafür habe ich jetzt aber auch immer die
aktuellen Fussball-Tabellen (und vergangene), Spieltag/-e sowie
sämtliche Vereine, Ligen mit dazugehörigen Spielern schön in
Tabelle mit Bild auf meinem PC ... *flöt.
Habe ich nur schnell runtergetippt!!!, aber so gehts im Grunde.
... strpos() ist natürlich auch eine gute Wahl (und ausreichend)