Nano nennt es ^L
, aber natürlich tippt er so etwas wie
$ grep -v "^\^L" file
funktioniert nicht Sein Unicode-Codepunkt ist 000C. Wie kann ich es in einem regulären Ausdruck abgleichen?
Nano nennt es ^L
, aber natürlich tippt er so etwas wie
$ grep -v "^\^L" file
funktioniert nicht Sein Unicode-Codepunkt ist 000C. Wie kann ich es in einem regulären Ausdruck abgleichen?
Antworten:
Das scheint der gute alte Form-Feed-Charakter zu sein, beschrieben man ascii
als:
Oct Dec Hex Char
------------------------------------------
014 12 0C FF '\f' (form feed)
(Dort nicht erwähnt, aber ^L
der Code ist der gleiche 12.)
Dann sollte in bash
jedem dieser Punkte funktionieren:
grep -v $'^\f' file
grep -v $'^\cL' file
grep -v $'\x0C' file
$'…'
in Bash? noch nie gesehen, funktioniert auch nicht bei mir
$'string'
werden speziell behandelt. Das Wort wird zu einer Zeichenfolge erweitert, wobei Zeichen mit umgekehrten Schrägstrichen ersetzt werden, wie im ANSI C-Standard angegeben. “ - ANSI-C Zitat im Bash-Handbuch
^L
der Bildschirm aufgeräumt wird. Wenn Sie sich beispielsweise auf der Konsole befinden, spammt das Bearbeiten einer Datei und von Syslog die Konsole. Vielen Dank.