Retourner au contenu associé (entrée de forum : trouver un caractère "nouvelle page" avec grep)
Posté par GCN (site web personnel) le 20 juin 2007 à 11:37. En réponse au message trouver un caractère "nouvelle page" avec grep. Évalué à -1.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Et ça ?
Posté par GCN (site web personnel) . En réponse au message trouver un caractère "nouvelle page" avec grep. Évalué à -1.
$ cat taiste.txt
plap
plep
plip
plop
plup
plyp
coin_coin ^L
pouet
$ grep -n '\^L' taiste.txt
7:coin_coin ^L
C'est bon ou pas ?