3 Fragen zu Zeichenfolge

Um in PHP eine Datei auf eine bestimmte Zeichenfolge zu prüfen, kannst du die Funktion `file_get_contents` verwenden, um den Inhalt der Datei zu lesen, und dann die Funktion `strpos`, um nach der Zeichenfolge zu suchen. Hier ist ein Beispielcode, der die Datei `meldung.txt` auf die Zeichenfolge "Vollhonk" prüft: ```php <?php // Datei einlesen $dateiInhalt = file_get_contents('meldung.txt'); // Prüfen, ob die Zeichenfolge "Vollhonk" im Dateiinhalt enthalten ist if (strpos($dateiInhalt, 'Vollhonk') !== false) { echo 'Die Zeichenfolge "Vollhonk" wurde gefunden.'; } else { echo 'Die Zeichenfolge "Vollhonk" wurde nicht gefunden.'; } ?> ``` Dieser Code liest den gesamten Inhalt der Datei `meldung.txt` und prüft dann, ob die Zeichenfolge "Vollhonk" darin enthalten ist. Wenn die Zeichenfolge gefunden wird, gibt er eine entsprechende Nachricht aus, andernfalls eine andere Nachricht.

Um alle Dateien in allen Unterverzeichnissen zu finden, die die Zeichenfolge `\pno` enthalten, kannst du folgenden Befehl verwenden: ```bash grep -rl '\\pno' . ``` **Erklärung der Parameter:** - `-r` : durchsucht rekursiv alle Unterverzeichnisse - `-l` : gibt nur die Dateinamen aus, die einen Treffer enthalten - `'\\pno'` : sucht nach der Zeichenfolge `\pno` (der Backslash muss in einfachen Anführungszeichen doppelt geschrieben werden, damit er als Literal interpretiert wird) - `.` : aktuelles Verzeichnis als Startpunkt **Hinweis:** Falls du auch die Zeilennummer und den Treffer selbst sehen möchtest, kannst du `-n` und `-H` ergänzen und das `-l` weglassen: ```bash grep -rn '\\pno' . ``` Weitere Infos: [GNU grep Dokumentation](https://www.gnu.org/software/grep/manual/grep.html)

Um aus dem Wert eines HTML-Formularfelds namens `parcel_id` alle Leerzeichen und Punkte per JavaScript zu entfernen, kannst du folgenden Code verwenden: ```javascript // Beispiel: Annahme, das Feld hat die id "parcel_id" var input = document.getElementById('parcel_id'); input.value = input.value.replace(/[ .]/g, ''); ``` **Erklärung:** - `document.getElementById('parcel_id')` holt das Eingabefeld. - `.value` greift auf den aktuellen Wert zu. - `.replace(/[ .]/g, '')` ersetzt alle Leerzeichen (` `) und Punkte (`.`) durch nichts (also entfernt sie). Das `g` steht für "global", also alle Vorkommen. **Tipp:** Du kannst diesen Code z.B. beim Absenden des Formulars oder beim Verlassen des Feldes (onblur) ausführen lassen. **Beispiel für onblur:** ```html <input type="text" id="parcel_id" name="parcel_id" onblur="this.value=this.value.replace(/[ .]/g,'')"> ``` Weitere Infos zu [replace() auf MDN](https://developer.mozilla.org/de/docs/Web/JavaScript/Reference/Global_Objects/String/replace).