Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
linux:sed [2019/05/27 16:03] – michael | linux:sed [2019/05/27 16:10] (current) – [Weiteres] michael | ||
---|---|---|---|
Line 23: | Line 23: | ||
Diese Parameterliste ist unvollständig. Weiteres findet sich in der man-page von sed. | Diese Parameterliste ist unvollständig. Weiteres findet sich in der man-page von sed. | ||
- | ^ Optionen von sed ||| | ||
^ Kurzform | ^ Kurzform | ||
| -n | --quiet, --silent | | -n | --quiet, --silent | ||
Line 34: | Line 33: | ||
- | <WRAP center round important | + | <WRAP center round important |
Bei der Ausgabe in eine Datei darf die Zieldatei nicht mit der Quelldatei identisch sein, denn bei der Ausführung eines einfachen Redirektors würde „sed“ die Datei zuerst löschen und dann neu anlegen, die Datei wäre leer. Mit der Option [-i] --in-place wird keine Ausgabe erzeugt, sondern gleich die Quelldatei bearbeitet. | Bei der Ausgabe in eine Datei darf die Zieldatei nicht mit der Quelldatei identisch sein, denn bei der Ausführung eines einfachen Redirektors würde „sed“ die Datei zuerst löschen und dann neu anlegen, die Datei wäre leer. Mit der Option [-i] --in-place wird keine Ausgabe erzeugt, sondern gleich die Quelldatei bearbeitet. | ||
</ | </ | ||
Line 181: | Line 180: | ||
* https:// | * https:// | ||
* https:// | * https:// | ||
+ | * http:// | ||