Hallo Raketenwilli,
noch billiger und schneller wäre vermutlich
$backupoption = <<<END
| grep -vP "^USE \`$backup_db\`;$"';
END;
Das ist ein heredoc String, da kann man " und ' nach Herzenslust und ohne Escaping hineindonnern. Und Variablen auch noch.
Das eingerückte END ist ab PHP 7.3 zulässig. Vorher musste es direkt am Zeilenanfang stehen. Ab PHP 7.3 bewirkt das Einrücken des END Symbols, dass die Menge an Einrückung des END Symbols auch für die Inhaltszeilen des Heredoc-Strings angenommen wird, d.h. wenn das END wie hier um 4 Spaces eingerückt ist, werden von der grep-Zeile die ersten 4 Leerstellen entfernt. Das nützt der Lesbarkeit...
So, wie es oben steht, würde also genau 1 Space vor dem | stehen bleiben. Und kein einziges Linefeed, die macht Heredoc vor der ersten und nach der letzten Zeile seines Inhaltes nicht.
Rolf
sumpsi - posui - obstruxi